时间约束Petri网及其可调度性分析与验证

摘要：

时间约束Petri网(timing constraint Petri nets,简称TCPN)是一类重要的时间Petri网系统.对相关定义重新界定,丰富并完善了TCPN理论.针对变迁可调度原始定义的不足,首先给出了变迁的弱/强可调度的新定义及强可调度判定定理;然后对变迁的强可调度进行了拓展,提出了TCPN时间可调度的概念,并结合Petri网结构给出了TCPN时间可调度判定定理;最后对TCPN的相关特性进行了研究.TCPN对时间Petri网的研究工作将起到启发作用,并对实时系统的描述和建模工作具有一定的参考价值.

关键词：时间相关Petri网、TCPN、弱可调度、强可调度、可调度性分析

所属期刊栏目：18

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

资助基金：国家自然科学基金60303025;6067301;江苏省应用基础研究计划项目BK2004411;BK2005208

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

页数：共11页

页码：11-21