文献类型：会议

作　　者：桂志波 周德民 郑应平

作者单位：[1]河南大学计算机应用研究所 [2]河南大学计算机应用研究所 [3]中科院自动化研究所

基　　金：国家自然科学基金;“863”计划 CIMS 主题资助项目

会议文献：1997中国控制与决策学术年会论文集

会议名称：1997中国控制与决策学术年会

会议日期：19970500

会议地点：中国江西庐山

主办单位：《控制与决策》编委会;中国航空学会自动控制分会;中国自动化学会应用专业委员会;中国运筹学会决策理论及应用专业委员会

出版单位：东北大学出版社

出版日期：19970400

学会名称：《控制与决策》编辑部

语　　种：中文

摘　　要：提出一种弱引发规则二态加时变迁 Petri 网(WTTPN),它比 Ramchandani 的二态加时变迁 Petri 网(TTPN)更适于建模分析冲突结构。给出了 WTTPN 的形式化描述与分析框架, 讨论了 WTTPN 及其基网系统之间的关系,证明了它们关于活性、有界(安全)性和可逆性等价。

关 键 词：弱引发规则  二态加时变迁 Petri 网  基网系统  

分 类 号：TP301.1]