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

被引：2

作者：

吴时霖

梁晟

机构：

[1] 复旦大学计算机科学系,复旦大学计算机科学系上海,上海

来源：

关键词：

Petri网; 有色网系统; 多重集; 后集; 并发; 同步;

D O I：

暂无

中图分类号：

TP301 [理论、方法];

学科分类号：

080201 [机械制造及其自动化];

摘要：

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

引用

页码：30 / 35+25 +25

页数：7