【摘要】 Petri网在描述一个并发事件组成的系统的同步行为时,无法体现时间因素对同步控制的影响,同时也难以描述这种同步控制。本文给出了Petri网中时间和控制表示的形式定义,并以信号灯系统等例说明了带时间和控制的Petri网的应用及在描述同步控制上的功能。更多还原

【Abstract】 Without the definition of time, it is hard for Petri nets to describe the synchronization in a concurrence system. We give the definitions of time and control in Petri nets, together with some examples, such as traffic light system, to show its capability.更多还原