期刊文献+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息

混合语义时间Petri网的特征条件及时间性质

Characteristic Conditions and Timed Properties of Time Petri Nets with Mixed Semantics
下载PDF
导出
摘要 针对时间Petri网现有强、弱语义模型在调度分析上存在的缺陷以及凝练调度一致性问题和调度时限性问题,提出混合语义模型解决方案,并给出混合语义模型的特征条件,比较混合语义模型与强、弱语义模型的时间互模拟能力,证明混合语义模型的正确性和时间行为的不可替代性。 Two time semantics,a strong semantics and a weak one,are usually adopted by time Petri nets in different application context.But they are limited in schedulability analysis because of scheduling consistency problem and scheduling timeliness problem.This paper defined two characteristic conditions for consistency and timeliness,presented a time Petri net model with mixed semantics,and proved the mixed semantics model is more suitable for the schedulability analysis of real-time systems than the existing time semantics models.We further compared the timed bisimulation ability of the mixed semantics model and the strong and weak semantics models.
作者 潘理 郑红 杨勃 周新民
机构地区 湖南理工学院信息与通信工程学院 湖南理工学院复杂系统优化与控制湖南省普通高等学校重点实验室 华东理工大学信息科学与工程学院 湖南商学院计算机与信息工程学院
出处 《计算机科学》 CSCD 北大核心 2014年第12期202-205,230,共5页 Computer Science
基金 国家自然科学基金(61103115) 湖南省自然科学基金(11JJ4058 11JJ2037) 湖南省教育厅科研项目(11A041 11B055) 国家社会科学基金项目(13CJY007) 湖南省高校科技创新团队支持计划(湘教通[2012]318-18)资助
关键词 时间PETRI网 混合语义模型 特征条件 时间互模拟 Time Petri nets Mixed semantics model Characteristic conditions Timed bisimulation
分类号 TP311 [自动化与计算机技术—计算机软件与理论]
  • 相关文献

参考文献15

  • 1Merlin P, Farber D J. Recoverability of communication proto-cols:Implication of a theoretical study[J]. IEEE Trans. Com- mun. , 1976,24(9) : 1036-1043.
  • 2Berthomieu B, Diaz M. Modeling and Verification of Time De- pendent Systems Using Time Petri Nets [J]. IEEE Trans. Softw. Eng. , 1991,17 (3) : 259-273.
  • 3Vicario E. Static Analysis and Dynamic Steering of Time De- pendent Systems Using Time Petri Nets[J]. IEEE Trans. Soft ware Eng. , 2001,27(8) : 728-748.
  • 4Wang J, Xu G, Deng Y. Reachability analysis of real time sys tems using time Petri nets[J]. IEEE Transactions on Systems, Man, and Cybernetics, Part B: Cybernetics, 2000,30 (5) : 725-736.
  • 5Ghezzi C, Mandrioli D, Morasca A. Unified High-Level Petri Net Formalism for Time-Critical Systems[J]. IEEE Trans. Softw. Eng. ,1991,17(2) : 160-172.
  • 6Felder M, Mandrioli D, Morzenti A. Proving properties of real- time systems through logical specifications and Petri net models [J]. IEEE Trans. Softw. Eng. , 1994,20(2) :127-141.
  • 7B~rarda B,Cassezb F, Haddadc S,et al. The expressive power of time Petri nets[J]. Theor. Comput. Sci. , 2013,474:1- 20.
  • 8Xu D, He X, Deng Y. Compositional schedulability analysis of real-time systems using time Petri nets[J]. IEEE Trans. Softw. Eng. ,2002,28(10) :984-996.
  • 9Wu N, Chu F, Chu C, et al. Schedulability Analysis of Short- Term Scheduling for Crude Oil Operations in Refinery with Oil Residency Time and Charging-Tank-Switch-Overlap Constraints [J]. IEEE Trans. Aurora. Sci. Eng. , 2011,8 ( 1 ) : 190 -204.
  • 10Qiao Y,Wu N Q,Zhou M C. Real time scheduling of single-arm cluster tools subject to residency time constraints and bounded activity time variation[J]. IEEE Trans. Aurora. Sci. Eng. ,2012, 9(3) ,564-577.

二级参考文献10

  • 1Merlin PM, Farber DJ. Recoverability of communication protocols implications of a theoretical study. IEEE Trans. on Communications, 1976,24(9):1036-1043. [doi: 10.1109/TCOM.1976.1093424].
  • 2Berthomieu B, Diaz M. Modeling and verification of time dependent systems using time Petri nets. IEEE Trans. on Software Engineering, 1991,17(3):259-273. [doi: 10.1109/32.75415].
  • 3Boyer M, Roux OH. Comparison of the expressiveness of arc, place and transition time Petri nets. In: Proc. of the 28th Int'l Conf. on Application and Theory of Petri Nets and other Models of Concurrency. LNCS 4546, Berlin: Springer-Verlag, 2007.63-82. [doi: 10.1007/978-3 -540-73094-1 _7].
  • 4Felder M, Mandrioli D, Morzenti A. Proving properties of real-time systems through logical specifications and Petri net models. IEEE Trans. on Software Engineering, 1994,20(2): 127-141. [doi: 10.1109/32.265634].
  • 5Koutny M. A compositional model of time Petri nets. In: Proc. of the 21st Int'l Conf. on Application and Theory of Petri Nets. LNCS 1825, Berlin: Springer-Verlag, 2000. 303-322. [doi: 10.1007/3-540-44988-4_18].
  • 6Esparza J. Decidability and complexity of Petri net problems--An introduction. In: Proc. of the Lectures on Petri Nets I: Basic Models. LNCS 1491, 1998. 374-428. [doi: 10.1007/3-540-65306-6_20].
  • 7Berthomieu B, Lime D, Roux OH, Vernadat F. Reachability problems and abstract state spaces for time Petri nets with stopwatches. Discrete Event Dynamic System, 2007,17(2): 133-158. [doi: 10.1007/s10626-006-001 l-y].
  • 8Alain RP, Amaud S. Weak time Petri nets strike back. In: Proc. of the 20th Int'l Conf. on Concurrency Theory. LNCS 5710, Berlin: Springer-Verlag, 2009. 557-571. [doi: 10.1007/978-3-642-04081-8_37].
  • 9Wang JC, Dang Y, Xu G. Reachability analysis of real-time systems using time Petri nets. IEEE Trans. on Systems, Man, and Cybernetics, Part B: Cybernetics, 2000,30(5):725-736. [doi: 10.1109/3477.875448].
  • 10Peterson JL, Wrote; Wu ZH, Trans. Petri Net Theory and the Modeling of Systems. Xuzhou: China University of Mining and Technology Press, 1989.

共引文献10

计算机科学
2014年 第12期

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

内容加载中请稍等...
;
使用帮助 返回顶部