基于赋时层次着色Petri网的混杂系统建模与行为分析

大型混杂系统的复杂性使建模与行为分析面临巨大挑战. 为此，提出一种基于赋时层次着色Petri 网的建模方法，以离散事件驱动为主线，将连续部分模型通过扩展变迁嵌入到离散模型中. 离散部分和连续部分分别利用各自领域里的专业工具建模，通过通信接口交互实现混杂交互仿真，同时保证整个系统的数据一致性和时间同步性. 在进行混杂系统行为分析时，根据Petri 网的结构化分析方法得到混杂系统的不同行为模式，针对各模式进行多属性仿真分析. 最后通过一个导弹防御系统的例子说明该建模分析方法的可行性.

Modeling and Behavior Analysis of Hybrid System Using Timed Hierarchical CPN

Modeling and behavior analysis for a large hybrid system is challenging because of complexity of the system. A modeling method based on timed hierarchical colored Petri net (THCPN) is proposed in this paper. Using the idea of a discrete event driven system, the continuous part is embedded into the model by extension transition. Thus, both discrete and continuous parts of the hybrid system can be modeled using professional tools in the respective fields. Hybrid interactive simulation can be implemented with communication interface. This way, data consistency and time synchronization are ensured. In analyzing the hybrid model, a structure analysis method of Petri net is performed to get different behavior patterns of the hybrid system. Thus, a multi-attribute simulation analysis of different behavior patterns can be conducted. Feasibility of the method is shown by a missile defense system.