论文部分内容阅读
提出了一种弱引发规则二态加时变迁Ｐｅｔｒｉ网（简称ＷＴＴＰＮ）它比Ｒａｍｃｈａｎｄａｎｉ的二态加权变迁Ｐｅｔｒｉ网（简称ＴＴＰＮ）更适于建模分析冲突结构，平行于无时间约束Ｐｅｔｒｉ网，给出了ＷＴＴＰＮ的形式描述与分析框架，据此可对它进行定性分析，进而，讨论了ＷＴＴＰＮ及其基网系统之间关系，证明了它们关于活性，有界（安全）性和可逆性等价。