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

被引：61

作者：

宋巍

窦万春

刘茜萍

机构：

[1] 南京大学计算机科学与技术系

[2] 南京大学计算机科学与技术系江苏南京

[3] 计算机软件新技术国家重点实验室(南京大学)

来源：

软件学报 | 2007年 / 01期

关键词：

时间相关Petri网; TCPN; 弱可调度; 强可调度; 可调度性分析;

D O I：

暂无

中图分类号：

TP301.1 [自动机理论];

学科分类号：

080201 [机械制造及其自动化];

摘要：

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

引用

页码：11 / 21

页数：11