The existence of empty siphons or insufficiently marked ones is the reason for deadlocks in S4R.
在S4R网中，死锁的产生归因于存在空的或未被充分标记的信标。
S4R can model complicated resource allocation systems with multiple concurrent processes, and different types of multiple resources can be requested by different processes.
S4R网可以建模复杂的、拥有多个并行加工进程的资源分配系统，而且不同的工序可以申请不同类型的多个资源。
应用推荐