提出了一种弱引发规则二态加时变迁Ｐｅｔｒｉ网（简称ＷＴＴＰＮ），它比Ｒａｍｃｈａｎｄａｎｉ的二态加时变迁Ｐｅｔｒｉ网（简称ＴＴＰＮ）更适于建模分析冲突结构；平行于无时间约束Ｐｅｔｒｉ网，给出了ＷＴＴＰＮ的形式化描述......

提出了一种弱引发现规则三态加时变迁Ｐｅｔｒｉ网（简称ＷＴＴＰＮ）它比现有三态加变迁Ｐｅｔｒｉ网更适于建模分析冲突结构，平行于无时间约束Ｐｅｔｒｉ网，给出了并发意义下ＷＴＴＰＮ的形......