带时间和控制的Petri网系统及应用  

PETRI NETS WITH THE DEFINITIONS OF TIME AND CONTROLAND ITS APPLICATION

作　　者：吴时霖[1] 梁晟[1] 

机构地区：[1]复旦大学计算机科学系,上海200433

出　　处：《计算机应用与软件》2000年第2期30-35,25,共7页Computer Applications and Software

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

关 键 词：PETRI网 有色网系统 同步控制 车辆 信号灯 

分 类 号：U270.381[机械工程—车辆工程]