一种三态加时变迁Petri网的形式化描述与分析
来源期刊：控制与决策1998年第2期
论文作者：桂志波
文章页码：3 - 5
关键词：弱引发规则;三态加时变迁Petri网;形式化描述;定性分析;
摘 要：提出一种弱引发规则三态加时变迁Ｐｅｔｒｉ网（简称ＷＴＴＰＮ），它比现有三态加时变迁Ｐｅｔｒｉ网更适于建模分析冲突结构；平行于无时间约束Ｐｅｔｒｉ网，给出了并发意义下ＷＴＴＰＮ的形式化描述与分析框架，据此可对其进行定性分析；证明了ＷＴＴＰＮ与其基网系统关于活性、有界（安全）性和可逆性等价。
桂志波
南京理工大学动力学院
摘 要：提出一种弱引发规则三态加时变迁Ｐｅｔｒｉ网（简称ＷＴＴＰＮ），它比现有三态加时变迁Ｐｅｔｒｉ网更适于建模分析冲突结构；平行于无时间约束Ｐｅｔｒｉ网，给出了并发意义下ＷＴＴＰＮ的形式化描述与分析框架，据此可对其进行定性分析；证明了ＷＴＴＰＮ与其基网系统关于活性、有界（安全）性和可逆性等价。
关键词：弱引发规则;三态加时变迁Petri网;形式化描述;定性分析;
