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

被引：1

作者：

夏传良

机构：

[1] 山东建筑大学计算机科学与技术学院

来源：

关键词：

Petri网; 合成; 有界性; 公平性; 性质分析;

D O I：

暂无

中图分类号：

TP301.1 [自动机理论];

学科分类号：

081202 ;

摘要：

共享T-型子网合成是研究复杂Petri网系统性质的一个有效途径。本文研究了共享T-型子网合成对参与合成的各网系统的公平性的继承关系,给出了合成网保持公平性的充分条件。随后给出的有关制造系统设计的举例,说明了该合成方法的有效性。本文的结果可为Petri网系统合成性质的考察提供有效途径。

引用

页码：271 / 274

页数：4

共 5 条

[1] 一种Petri网合成方法及其在系统建模中的应用 [J].

夏传良 .

[2] 论Petri网链路合成 [J].

夏传良 ;

陆维明 .

[3] 有界Petri网的活性和公平性的分析与实现 [J].

吴哲辉 .

[4]

离散事件系统建模与仿真[M]. 国防科技大学出版社 , 王维平等编著, 1997

[5] The synthesis of Petri nets from path-automatic specifications [J].

Badouel, E ;

Darondeau, P .