Petri网共享T型子网合成活性分析

摘要：

为解决子系统共享问题，提出了经由Petri网系统共享T-型子网构成共享子网合成网的解决方案。共享T-型子网合成是研究复杂Petri网系统性质的一个有效途径。研究了共享T-型子网合成对参与合成的各网系统的活性的继承关系,给出了合成网保持活性的充分条件或充要条件.随后给出的有关制造系统设计和分析的实例,说明了该合成方法的有效性。本文的结果可为Petri网系统合成的静态和动态性质的考察提供有效途径,对系统的设计和验证具有重要的指导意义。

关键词： Petri网 T型子网 系统共享 子网合成活性 有界性 系统设计

作者: 夏传良

作者单位: 中国科学院软件所计算机科学国家重点实验室 北京 100080;北京工业大学计算机科学与技术学院 北京 100022

会议类型: 国内会议

会议名称: 第十一届全国Petri网理论与应用学术年会

会议地点: 大连

会议语种:中文

页码: 4-8,37

在线出版日期: 2007-08-01（万方平台首次上网日期，不代表论文的发表时间）