T―组合Petri网络活性和公平性分析

• 来源期刊: 计算机研究与发展
• 学科: 工学
• 关键词: Petri网 T－组合网 活性 公平性
• 年，卷（期）: 1999,（2）
• 页码范围: 182-185
• 页数: 4页
• 分类号: TP393
• 语种: 中文

摘要

同步合成是研究复杂PETRI网络系统性质的有效途径.文中通过引入可引发变迁序偶的概念,研究了T－组合(同步合成)PETRI网对子网的活性和公平性继承关系,给出了一组T－组合PETRI网活或公平的充要条件和充分条件.这些结果对网组合同步设计具有重要的指导意义.