3[1]Boovh G, Rumbaugh J, Jacobson 1. The Unified Modeling Language User Guide[M]. Addision Wesley Longman,Inc., 1998 被引量：1
4[2]Pettit IV R G, Gomaa H. Validation of Dynamic Behavior in UML Using Colored Petri Nets[EB/OL].http:∥www.disi.unige.it/person/ReggioG/UMLWORKSHOP/Pettit.pdf 被引量：1
5Zhu X P,Xiao M Q. The TPS Development of Parallel Automatic TestSystems[ C]//Proe of AUTOTEST 2004 IEEE Systems Readiness Technology Conference. Xi ' an, China: [ s. n. ] ,2004:248-253. 被引量：1
7Hu Z,Shatz S M. Mapping UML Diagrams to a Petri Net Notation for System Simulation [ C]//Proceedings of the International Conference on Software Engineering and Knowledge Engineering. Banffshire : [ s. n. ] ,2004:213-219. 被引量：1
8Grolleau E, Choquet-Geniet A. Off-Line Computation of real- Time schedules usingPetri nets [ J ]. Discrete Event Dynamic Systems,2002,12 (3) :311-333. 被引量：1
9Kaznhiro S. Robust design of flexible manufacturing syslems using colored Petri net and genetic algorithm[ J]. Journal of Intelligent Manufacturing,2002,13 ( 5 ) : 339- 351. 被引量：1
