Strategy of state transition in UML based on Petri net

[1] OMG. Unified modeling language specification (action semantics) .2002. http://www.omg.org [2] Evans A, Kent S. Core meta-modelling semantics of UML: The pUML approach[J]. The Unified Modeling Language,1999, 1723:140-155 [3] Mellor S J, Balcer M J. Executable UML:A foundation for model-driven architecture[M].Boston:Addison-Wesley,2002 [4] Crane Michelle L, Dingel Juergen. On the semantics of UML state machines: categorization and comparison . Kingston, Ontario:School of Computing,Queen-s University,2005.http://www.cs.queensu.ca/TechReports/Reports/2005-501.pdf [5] 钱俊彦,蔡国永,古天龙,等.Statechart规语言的语法分析研究[J].桂林电子工业学院学报,1999,19(3):12-15 Qian Junyan, Cai Guoyong, Gu Tianlong, et al. On the syntax verification of statechart language[J]. Journal of Guilin Institute of Electronic Technology,1999,19(3):12-15(in Chinese) [6] Murata T. Petri nets: Properties, analysis and applications[J]. Proceedings of the IEEE, 1989,77(4):541-580 [7] Jesen K, Rozenberg G. High-level Petri nets theory and application[M]. Berlin: Springer-Verlag, 1991 [8] Jesen K. Coloured Petri nets-basic concepts,analysis methods and practical use[M]. Berlin: Springer-Verlag, 1997 [9] 姚淑珍,金茂忠. UML状态图的形式化建模及其分析[J].北京航空航天大学学报,2007,33(4):472-476 Yao Shuzhen, Jin Maozhong. Formal modeling and analysis of UML statecharts[J]. Journal of Beijing University of Aeronautics and Astronautics,2007,33(4):472-476(in Chinese)