时间约束Petri网的可调度性分析研究

被引：5

作者：

李慧芳

李人厚

机构：

[1] 西安交通大学系统工程研究所

[2] 西安交通大学系统工程研究所西安

[3] 西安

来源：

计算机科学 | 2000年 / 03期

关键词：

Timing constraint Petri nets; Petri nets.Schedulability analysis; Decision variables;

D O I：

暂无

中图分类号：

TP301 [理论、方法];

学科分类号：

081202 ;

摘要：

<正> 1 引言时间约束Petri网(Timing Constraint PetriNets,TCPN’s)是具有广义时间约束的Petri网,它综合了时间Petri网)(Time Petri Nets)和赋时Petri网(Timed Petri Nets)的共同特点,具有经典Petri网的理论基础和额外的时间约束能力。在实时系统建模中,它可对其它与时间有关的Petri网所不能描述的冲突结构进行建模和分析。TCPN’s使用弱触发规则,即:使能的变迁可触发也可不触发,完全由调度者决

引用

页码：18 / 21

页数：4