共 50 条
- [1] Combining Petri nets and ns-2: A hybrid method for analysis and simulation [J]. CNSR 2006: COMMUNICATION NETWORKS AND SERVICES RESEARCH CONFERENCE, PROCEEDINGS, 2006, : 139 - +
- [2] Specification of timed authentication protocols with colored Petri nets [J]. ADVANCED COMPUTER SYSTEMS, PROCEEDINGS, 2002, 664 : 383 - 392
- [3] Development of an environment for distributed colored timed Petri nets [J]. 1998 IEEE INTERNATIONAL CONFERENCE ON SYSTEMS, MAN, AND CYBERNETICS, VOLS 1-5, 1998, : 523 - 528
- [6] Simulation of a Train Communication System Using Timed Colored Petri Nets [J]. 2009 IEEE INTERNATIONAL CONFERENCE ON INDUSTRIAL TECHNOLOGY, VOLS 1-3, 2009, : 612 - +
- [7] A context inference framework based on fuzzy colored timed Petri nets [J]. PROCEEDINGS OF THE 9TH WSEAS INTERNATIONAL CONFERENCE ON MATHEMATICAL AND COMPUTATIONAL METHODS IN SCIENCE AND ENGINEERING (MACMESE '07)/ DNCOCO '07, 2007, : 458 - 463
- [8] Modeling and implementing of an automated warehouse via colored timed Petri nets [J]. 2007 IEEE INTERNATIONAL CONFERENCE ON CONTROL AND AUTOMATION, VOLS 1-7, 2007, : 935 - 940
- [10] How to Construct an Automated Warehouse Based on Colored Timed Petri Nets [J]. INNOVATIONS IN COMPUTING SCIENCES AND SOFTWARE ENGINEERING, 2010, : 227 - 233