大型混杂系统的复杂性使建模与行为分析面临巨大挑战. 为此，提出一种基于赋时层次着色Petri 网的建模方法，以离散事件驱动为主线，将连续部分模型通过扩展变迁嵌入到离散模型中. 离散部分和连续部分分别利用各自领域里的专业工具建模，通过通信接口交互实现混杂交互仿真，同时保证整个系统的数据一致性和时间同步性. 在进行混杂系统行为分析时，根据Petri 网的结构化分析方法得到混杂系统的不同行为模式，针对各模式进行多属性仿真分析. 最后通过一个导弹防御系统的例子说明该建模分析方法的可行性.
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.
[1]ALUR R, COURCOUBETIS C, HENZINGER T A, et al. Hybrid automata: an algorithmic approach to the specification and verification of hybrid systems[M]. Berlin Heidelberg: Springer, 1993, 209-229.
[2]陈铁军，汪兆财. 基于混杂自动机的变速变桨风力发电系统建模与控制[J]. 电力系统保护与控制，2012, 13: 007.
CHEN Tiejun, WANG Zhaocai. Modeling and control of variable -pitch variable-speed wind turbines based on hybrid automata[J]. Power System Protection and Control, 2012, 13: 007. (in Chinese)
[3] DAVID R, ALLA H. Hybrid Petri nets [C]//European ControlConference,Grenoble, France,1991.France:Kluwer AcademicPublishers Group, 1991: 1472-1477.
[4] MAHI F, NAIT-SIDI-MOH A, DEBBAT F, et al. A multimodal transportation system: hybrid Petri net-based modeling and simulation[C]//Complex Systems (ICCS), 2012 International Conference on. IEEE, 2012: 1-6.
[5]GROSSMAN RL, NERODE A, RAVN A P, et al. Hybrid Systems—Lectures Notes in Computer Science [M].Berlin: Springer-Verlag, 1993.
[6]韩旭，黄艳，于东. 基于混杂系统的多通道运动控制功能研究[J]. 组合机床与自动化加工技术，2010 (006): 32-36.
HAN Xu, HUANGYan, YU Dong. ResearchandImplementationof aMult-i channelMotionControl BasedonHybridSystems[J]. Modular Machine Tool & Automatic Manufacturing Technique, 2010 (006): 32-36. (in Chinese)
[7]张晓元.混杂Petri网理论在列车运行调度中的应用研究[D].太原科技大学,2013.
ZHANG XIAO YUAN.Application of hybrid Petri net theory in train scheduling[D].Taiyuan University of Science and Technology,2013
[8]方哲梅,王明哲，杨翠蓉.着色Petri网的混杂系统仿真平台构架[J]. 应用科学学报，2011, 29(1): 105-110.
FANG Zhemei.WANG Mingzhe.YANG Cuirong. Platform framework of complex hybrid system simulationbased on colored Petri nets[J]. Journal of Applied Sciences, 2011, 29(1): 105-110.
[9] WESTERGAARD M, KRISTENSEN L M. The access/cpn framework: A tool for interacting with the cpn tools simulator[M]//Applications and Theory of Petri Nets. Springer Berlin Heidelberg, 2009: 313-322.
[10] KIM C, LEE T E. Modelling and simulation of automated manufacturing systems for evaluation of complex schedules[J]. International Journal of Production Research, 2013, 51(12): 3734-3747.
[11]BASILE F, CHIACCHIO P, COPPOLA J. A Hybrid model of complex automated warehouse systems—Part II: analysis and Experimental Results[J]. 2012. [12]PLATZER A. The complete proof theory of hybrid systems[C]//Logic in Computer Science (LICS), 2012 27th Annual IEEE Symposium on. IEEE, 2012: 541-550.
[13]Rodriguez Urrego L, Garcia Moreno E, Morant Anglada F. Hybrid analysis in the latent nestling method applied to fault diagnosis[J]. 2013.
[14] JENSEN K, KRISTENSEN L M, KRISTENSEN L L M. Coloured Petri nets: modelling and validation of concurrent systems[M]. Springer, 2009.
[15]宋荆洲，马铁军，孙汉旭.基于分层着色Petri网的增强现实装配系统建模[J].计算机集成制造系统，2012,18(10): 2166-2174.
SONG Jingzhou,MA Tiejun, SUN Hanxu, et al.Modeling of augmented reality assembly system based on hierarchy colored Petri net[J]. Computer Integrated Manufacturing Systems, 2012, 18(10): 2166-2174. (in Chinese)
[16]De Grande, ALMULLA M A, BOUKERCHE A. Measuring and analyzing migration delay for the computational load balancing of distributed virtual simulations[J]. Instrumentation and Measurement, IEEE Transactions on, 2012, 61(12): 3158-3174.
[17]宋阿妮，王明哲，郭法滨. 着色Petri网的结构展开方法[J].系统工程理论与实践，2011(2):315-322.
SONG Ani, WANG, Mingzhe, GUOFabin. Unfolding the basic structure of colored Petri nets[J]. Systems Engineering-Theory & Practice, 2011(2): 315-322. (in Chinese)
