应用科学学报 ›› 2011, Vol. 29 ›› Issue (1): 105-110.doi: 10.3969/j.issn.0255-8297.2011.01.018

• 控制与系统 • 上一篇    

着色Petri网的混杂系统仿真平台构架

方哲梅, 王明哲, 杨翠蓉   

  1. 华中科技大学控制科学与工程系,武汉430074
  • 收稿日期:2010-09-13 修回日期:2010-11-09 出版日期:2011-01-26 发布日期:2011-01-25
  • 通信作者: 王明哲,教授,博导,研究方向:集成系统体系结构、智能决策与控制、离散事件系统,wangmzhe@netease.com
  • 作者简介:王明哲,教授,博导,研究方向:集成系统体系结构、智能决策与控制、离散事件系统,wangmzhe@netease.com
  • 基金资助:

    国家自然科学基金(No.60874068)资助

Platform Framework of Complex Hybrid System Simulation Based on Colored Petri Nets

FANG Zhe-mei, WANG Ming-zhe, YANG Cui-rong   

  1. Control Science & Engineering, Huazhong University of Science and Technology, Wuhan 430074, China
  • Received:2010-09-13 Revised:2010-11-09 Online:2011-01-26 Published:2011-01-25

摘要:

提出一种以Petri网为仿真进程控制,以着色Petri网与Matlab交互为主题的混杂仿真跨平台构架. 该仿真构架通过运用和扩展着色Petri网中替代变迁的概念,结合融合库所和折叠功能,实现了混杂系统的复杂逻辑建模和连续系统内嵌. 同时,着色Petri网的分析功能在一定程度上缓解了逻辑结构复杂的混杂系统检验困难的问题.最后通过一个混杂系统实例的建模与仿真分析,验证了该平台的可行性与逻辑检验的有效性,为复杂混杂系统的建模与仿真提供了一条新途径.

关键词: 混杂系统, 着色Petri网, 交互仿真模型, 跨平台构架

Abstract:

This paper proposes a cross-platform framework for hybrid simulation based on the interaction between colored Petri net (CPN) and Matlab, using Petri net as a tool for simulation process control. Utilizing and extending the concept of substitution transition, with the function of fusion place and folding, this framework can accomplish complex logical modeling and establishment of imbedded continuous process for hybrid systems. Besides, the analytical function of CPN reduces difficulty in logical verification for hybrid systems with complex logical behaviors. Finally, by modeling, simulation and analysis of a simple instance, feasibility of the platform and validity of the logic are shown. It provides a new method of modeling and simulation for large and complicated hybrid systems.

Key words: hybrid system, colored Petri net, interactive simulation model, cross-platform framework

中图分类号: