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

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

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

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.