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

摘要：

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

关键词：Petri网(PN)、时间限制Petri网(TCPN)、决策变量

所属期刊栏目：21

分类号：TP393(计算技术、计算机技术)

资助基金：高等学校博士学科点专项科研项目;山西省自然科学基金

在线出版日期：2005-08-25（万方平台首次上网日期，不代表论文的发表时间）

页数：共6页

页码：34-39