期刊文献+

离散事件系统的面向对象实时时态着色Petri网模型 被引量:2

Object-Oriented Real Time Temporal Colored Petri Nets Model for Discrete Event Dynamic Systems
原文传递
导出
摘要 提出了由记时面向对象着色 Petri网为被控对象建模 ,用实时时态逻辑进行系统期望行为规范的实时离散事件系统面向对象实时时态着色 The object oriented real time temporal colored Petri nets model is presented for discrete event dynamic systems. In this framework, the controlled process is described using timed object oriented colored Petri nets, the desired behaviors of systems are specified with temporal logic.
出处 《系统工程理论方法应用》 2001年第3期206-208,共3页 Systems Engineering Theory·Methodology·Applications
基金 中国博士后基金 山东省自然科学基金( Q99G0 9) 山东省自然科学基金重点项目 ( Z2 0 0 0 G0 1)资助项目
关键词 离散事件系统 PETRI网 实时时态逻辑 面向对象 DEDS RTTL discrete event dynamic systems Petri nets real time temporal logic object-oriented
  • 相关文献

参考文献3

  • 1Tian Guohui,Preprints of the 14th IFAC World Congress,1999年,J115页
  • 2Li Xiaoou,Int J Intelligent Control Systems,1999年,3卷,3期,359页
  • 3Tian Guohui,Preprints of the 13th IFAC World Congress,1996年,J341页

同被引文献33

  • 1袁崇义.Petri网原来与应用[A].电子工业出版社,2005
  • 2Lee J, Member S. Modeling Uncertainty Reasoning With Possi bilistic Petri Nets[J]. IEEE Transaction on Systems man and Cybernetics-Part B: CYBERNETICS, 2003,33(2)
  • 3Shen R L. Reinforcement Learning for High - Level Fuzzy Petri Nets[J]. IEEE Transaction on Systems Man and Cybernetics-Part B: Cybernetics, 2003,33 (2)
  • 4Adamyan A, He D. Sequential Failure Analysis Using Counters of Petri Vet models[J]. IEEE Transaction on Systems man and Cybernetics-Part A: Systems and Humans, 2003,33 (1)
  • 5Zhang Zhiming, Wang Yue, Tao Ran, et al. Resource Allocation Using Timed Petri Vets and Heuristic Search[J]. Journal of Beijing Institute of Technology, 2000(9) :148-154
  • 6Ichikawa A, Yokoyama K, Kurogi S. Control of Event - Driven Systems-Reachability and Control of Conflict-Free Petri Nets. Trans. Soc. Instrum. Control. Eng. (Japan), 1985,21 (4) : 324- 330
  • 7David R, Alia H. Continuous Petri Nets // Proceedings of 8th European Workshop on Application and Theory of Petri Nets. Zaragoza, Spain, 1987 : 275-294
  • 8Jonathan Lee, Senior Member. Modeling Uncertainty Reasoning With Possibilistic Petri Nets[J]. IEEE TRANSACTION ON SYSTEMS MAN AND CYBERNETICS- PART B: CYBERNETICS,2003,33(2).
  • 9Shen R L. Reinforcement Learning for High - Level Fuzzy Petri Nets[J]. IEEE TRANSACTION ON SYSTEMS MAN AND CYBERNETICS- PART B: CYBERNETICS,2003,33(2).
  • 10WANG Shengyuan, YU Jian, YUAN Chongyi. A Pragmatic Bahavior Subtyping Relation Based on Both States and Actions[J]. Computer Science and Technology,2001(9) :418-425.

引证文献2

二级引证文献24

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

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