首页 | 本学科首页   官方微博 | 高级检索  
     

时间约束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 维普 万方数据 等数据库收录!
点击此处可从《计算机科学》下载全文
设为首页 | 免责声明 | 关于勤云 | 加入收藏

Copyright©北京勤云科技发展有限公司  京ICP备09084417号