论活网中冻结标志的意义

并发系统可由Petri网模拟。躭在某些地点不用而同时该Petri网的一部分一直可以运行下去的这些标志称作冻结标志。本文提出,若冻结标志是多余的标志则可被省略掉;若它们由于缺乏公平性而成为冻结标志则在使用到这些标志的含义下它们可以“化冻”。最后,我们指出冻结标志允许较多的进程。