| 时间约束Petri网的可调度性分析研究 |
| |
| 引用本文： | 李慧芳 李人厚. 时间约束Petri网的可调度性分析研究[J]. 计算机科学, 2000, 27(3): 18-21 |
| |
| 作者姓名： | 李慧芳 李人厚 |
| |
| 作者单位： | 李慧芳（西安交通大学系统工程研究所 西安710049）;李人厚（西安交通大学系统工程研究所 西安710049） |
| |
| 摘 要： | 1 引言时间约束Petri网(Timing Constraint PetriNets,TCPN’s)是具有广义时间约束的Petri网,它综合了时间Petri网)(Time Petri Nets)和赋时Petri网(Timed Petri Nets)的共同特点,具有经典Petri网的理论基础和额外的时间约束能力。在实时系统建模中,它可对其它与时间有关的Petri网所不能描述的冲突结构进行建模和分析。TCPN’s使用弱触发规则,即:使能的变迁可触发也可不触发,完全由调度者决
|
| 关 键 词： | 时间约束 Petri网 可调度性 实时系统 |
Studies about Schedulability Analysis of Timing Constraint Petri Nets |
| |
| Abstract: | |
| |
| Keywords: | |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
|
点击此处可从《计算机科学》下载全文 |
|
