[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) |