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

• 作者: 刘茜萍 宋巍 窦万春
• 来源期刊: 软件学报
• 学科: 工学
• 关键词: 时间相关Petri网 TCPN 弱可调度 强可调度 可调度性分析
• 年，卷（期）: 2007,（1）
• 所属期刊栏目: 理论计算机科学
• 页码范围: 11-21
• 页数: 11页
• 分类号: TP301
• 字数: 9313字
• 语种: 中文

摘要

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