弱引发规则二态加时变迁Petri网定性分析

QUALITATIVE ANALYSIS FOR TRANSITION TIMED PETRI NETS WITH TWOPHASE FIRING SEMANTICS UNDER THE WEAK FIRING PULE

  • 摘要: 提出了一种弱引发规则二态加时变迁Petri网(简称WTTPN),它比Ramchandani的二态加时变迁Petri网(简称TTPN)更适于建模分析冲突结构;平行于无时间约束Petri网,给出了WTTPN的形式化描述与分析框架,据此可对它进行定性分析;进而,讨论了WTTPN及其基网系统之间关系,证明了它们关于活性、有界(安全)性和可逆性等价.

     

    Abstract: In this paper, transition timed Petri nets with twophase firing semantics under the week firing rule(or WTTPN's for short) are presented, and they are more suitable for modeling and analysis of conflict structures than the Ramchandani's transition timed Petri Nets with two-phase firing semantics(or TTPN's for short). Paralleling to PN, the framework for formal description and analysis of WTTPN is established, based on which WTTPN's qualitative analysis can be carried out. The relationship between WTTPN and its underlying net is discussed, and it is proved that the WTTPN is equivalent to its underlying net about liveness, boundedness(safeness) and reversibility.

     

/

返回文章
返回