共 50 条
- [44] Synthesis of controllers of processes modeled as colored Petri nets [J]. DISCRETE EVENT DYNAMIC SYSTEMS-THEORY AND APPLICATIONS, 1999, 9 (02): : 147 - 169
- [45] Colored Petri Nets to Model Gene Mutation Classification [J]. PROCEEDINGS OF THE 10TH WORLD CONGRESS ON INTELLIGENT CONTROL AND AUTOMATION (WCICA 2012), 2012, : 5077 - 5082
- [46] Specification of timed authentication protocols with colored Petri nets [J]. ADVANCED COMPUTER SYSTEMS, PROCEEDINGS, 2002, 664 : 383 - 392
- [47] Modeling Software Contention Using Colored Petri Nets [J]. 2008 IEEE INTERNATIONAL SYMPOSIUM ON MODELING, ANALYSIS & SIMULATION OF COMPUTER AND TELECOMMUNICATION SYSTEMS (MASCOTS), 2008, : 243 - 250
- [48] Automatic synthesis of colored Petri nets for the control of FMS [J]. IEEE TRANSACTIONS ON ROBOTICS AND AUTOMATION, 1997, 13 (03): : 327 - 337
- [49] Factorization Properties of Symbolic Unfoldings of Colored Petri Nets [J]. APPLICATIONS AND THEORY OF PETRI NETS, PROCEEDINGS, 2010, 6128 : 165 - +
- [50] TransCPN - Software Tool for Transformation of Colored Petri Nets [J]. PROCEEDINGS OF THE 2009 SIXTH INTERNATIONAL CONFERENCE ON INFORMATION TECHNOLOGY: NEW GENERATIONS, VOLS 1-3, 2009, : 211 - 216