TCPN的状态可达及可调度决策空间算法

• 作 者: 杨根科 曾建潮
• 机 构: 西安交通大学系统工程研究所
• 出 处: 计算机学报
• 发表日期: 1998年1期
• 关键词: PETRI网 决策变量 TCPN 决策空间 算法 Petri nets timing constraint Petri nets decision vari
• 基金项目: 国家教委博士点基金,山西省自然科学基金

Ｔｓａｉ等提出了时间限制Ｐｅｔｒｉ，并讨论了变迁可激活，可调度规律及其计算公式。然而，由于网拓扑和动态的复杂性，某些概念的逻辑关系及公式有矛盾。本文通过引入调度决策变量，动态标记准确地刻画调度规律，修正澄清了Ｔｓａｉ文中的问题，完善了ＴＣＰＮ的调度分析。另外，讨论了ＴＣＰＮ沿含有失败变迁激活路径的调度问题。