共 50 条
- [41] A Petri-Net based validator in reliability of a composite service [J]. 2005 IEEE INTERNATIONAL CONFERENCE ON E-TECHNOLOGY, E-COMMERCE AND E-SERVICE, PROCEEDINGS, 2005, : 450 - 453
- [42] An Aircraft Sequencing Approach Based on Fuzzy Petri-net [J]. INTERNATIONAL JOINT CONFERENCE ON COMPUTATIONAL SCIENCES AND OPTIMIZATION, VOL 1, PROCEEDINGS, 2009, : 1008 - 1011
- [43] Readiness simulation of combat units based on Petri-net [J]. Xitong Fangzhen Xuebao, 2006, 11 (3255-3258):
- [44] Dynamic service composition:: A Petri-net based approach [J]. ICEIS 2006: PROCEEDINGS OF THE EIGHTH INTERNATIONAL CONFERENCE ON ENTERPRISE INFORMATION SYSTEMS: SOFTWARE AGENTS AND INTERNET COMPUTING, 2006, : 159 - +
- [45] Petri-Net Based Safety Analysis of Process Systems [J]. 2017 IEEE INTERNATIONAL CONFERENCE ON INDUSTRIAL ENGINEERING AND ENGINEERING MANAGEMENT (IEEM), 2017, : 1217 - 1221
- [47] HIGH-LEVEL PETRI-NET MODELING AND ANALYSIS OF VME-BASED MULTIPROCESSORS [J]. MICROPROCESSING AND MICROPROGRAMMING, 1993, 36 (04): : 195 - 204
- [48] Modeling and analysis of medical resource allocation based on Timed Colored Petri net [J]. FUTURE GENERATION COMPUTER SYSTEMS-THE INTERNATIONAL JOURNAL OF ESCIENCE, 2020, 111 : 368 - 374
- [49] Modeling, implementation and simulation of virtual factory based on colored timed Petri Net [J]. ETFA 2003: IEEE CONFERENCE ON EMERGING TECHNOLOGIES AND FACTORY AUTOMATION, VOL 1, PROCEEDINGS, 2003, : 574 - 579
- [50] Formal security model research based on petri-net [J]. 2005 IEEE INTERNATIONAL CONFERENCE ON GRANULAR COMPUTING, VOLS 1 AND 2, 2005, : 575 - 578