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.
LI Sheng-chang1, SONG A-ni2, WANG Ming-zhe1
. Modeling and Behavior Analysis of Hybrid System Using Timed Hierarchical CPN[J]. Journal of Applied Sciences, 2014
, 32(3)
: 293
-300
.
DOI: 10.3969/j.issn.0255-8297.2014.03.011
[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)
