T—组合Petri网络活性和公平性分析 |
| |
引用本文: | 杜玉越,曹德范.T—组合Petri网络活性和公平性分析[J].计算机研究与发展,1999,36(2):182-185. |
| |
作者姓名: | 杜玉越 曹德范 |
| |
摘 要: | 同步合成是研究复杂Petri网络系统性质的有效途径。文中通过引入可引发变迁序偶的概念,研究了T-组合(同步合成)Petri网对子网的活性和公平性继承关系,给出了一组T-组合Petri网活或公平的充要条件和充分条件。这些结果对网组合同步设计具有重要的指导意义。
|
关 键 词: | Petri网 T-组合网 活性 公平性 |
本文献已被 维普 等数据库收录! |
|