2013 博物馆参观问题

sem empty=500;
sem mutex=1;
参观者
{
    p(empty);
    p(mutex);
    进门;
    v(mutex);
    参观
    p(mutex);
    出门
    v(mutex);
    v(empty);
}