| T-组合Petri网的活性和公平性分析 |
| |
| 引用本文： | 杜玉越 曹德范 李孝忠. T-组合Petri网的活性和公平性分析[J]. 计算机研究与发展, 1999, 0(2): 01 |
| |
| 作者姓名： | 杜玉越 曹德范 李孝忠 |
| |
| 作者单位： | 聊城师范学院计算机科学系 |
| |
| 摘 要： | 同步合成是研究复杂Ｐｅｔｒｉ网系统性质的有效途径．文中通过引入可引发变迁序偶的概念，研究了Ｔ－组合（同步合成）Ｐｅｔｒｉ网对子网的活性和公平性继承关系，给出了一组Ｔ－组合Ｐｅｔｒｉ网活或公平的充要条件和充分条件．这些结果对网组合同步设计具有重要的指导意义
|
| 关 键 词： | Petri网，T－组合网，活性，公平性 |
ANALYSIS OF LIVENESS AND FAIRNESS FOR T COMPOSITION PETRI NET |
| |
| DU Yu-Yue, CAO De-Fan, and LIXiao-Zhong. ANALYSIS OF LIVENESS AND FAIRNESS FOR T COMPOSITION PETRI NET[J]. Journal of Computer Research and Development, 1999, 0(2): 01 |
| |
| Authors: | DU Yu-Yue CAO De-Fan LIXiao-Zhong |
| |
| Affiliation: | DU Yu-Yue, CAO De-Fan, and LIXiao-Zhong;( |
| |
| Abstract: | Synchronous composition is an effective method for studying properties of complex Petri nets. A class of synchronous composition nets, the T composition Petri net made by composition of nets via a set of transitions,is introduced.Based on the notion of order pairs of firing transitions and the reachable marking graph of Petri nets,a set of necessary and sufficient conditions are obtained,which can be used to decide liveness and fairness of T composition Petri net.These results are useful for studying dynamic characters of complex Petri nets. |
| |
| Keywords: | Petri net T composition net liveness fairness |
| 本文献已被 CNKI 等数据库收录！ |
