论文部分内容阅读
提出了一种弱引发规则二态加时变迁Ｐｅｔｒｉ网（简称ＷＴＴＰＮ），它比Ｒａｍｃｈａｎｄａｎｉ的二态加时变迁Ｐｅｔｒｉ网（简称ＴＴＰＮ）更适于建模分析冲突结构；平行于无时间约束Ｐｅｔｒｉ网，给出了ＷＴＴＰＮ的形式化描述与分析框架，据此可对它进行定性分析；进而，讨论了ＷＴＴＰＮ及其基网系统之间关系，证明了它们关于活性、有界（安全）性和可逆性等价．
A weakly elicited regular two-state time-varying Petri net (WTTPN) is proposed, which is more suitable for modeling and analyzing conflict structures than Ramchandani’s two-state time-varying Petri net (TTPN). Parallel to the time-constrained Petri net , And gives a formal description and analysis framework of WTTPN, from which it can be qualitatively analyzed. Furthermore, the relations between WTTPN and its base network system are discussed, and their relations about activity, boundedness (safety) and reversibility Sexually equivalent.