共 50 条
- [41] Modeling and Verification of SCTP Association Management Based on Timed Colored Petri Nets [J]. 2016 2ND IEEE INTERNATIONAL CONFERENCE ON COMPUTER AND COMMUNICATIONS (ICCC), 2016, : 2090 - 2093
- [42] Modeling and analysis of distributed state space generation for timed Petri nets [J]. 34TH ANNUAL SIMULATION SYMPOSIUM, PROCEEDINGS, 2001, : 93 - 98
- [44] Timed Colored Petri nets and fuzzy sets based model for decision making [J]. INTELLIGENT SYSTEMS IN DESIGN AND MANUFACTURING III, 2000, 4192 : 286 - 294
- [46] Local contact state space generation using colored Petri nets* [J]. WODES'02: SIXTH INTERNATIONAL WORKSHOP ON DISCRETE EVENT SYSTEMS, PROCEEDINGS, 2002, : 143 - 148
- [48] Scheduling Flexible Manufacturing Systems with Petri Nets Based on the Cell Enumeration Method [J]. SUSTAINABLE CONSTRUCTION MATERIALS AND COMPUTER ENGINEERING, 2012, 346 : 412 - 418
- [49] A Reduction Method of Timed Petri Nets for a Hierarchical Scheduling [J]. Denki Gakkai Ronbunshi C Denshi Joho Shisutemu Bumonshi, 7 (914):
- [50] The Research of Manufacturing Execution System Modeling Based On Colored Petri Nets [J]. 2008 2ND INTERNATIONAL SYMPOSIUM ON SYSTEMS AND CONTROL IN AEROSPACE AND ASTRONAUTICS, VOLS 1 AND 2, 2008, : 1163 - 1166