共 50 条
- [1] Petri Net based AUV modeling and analyzing PROCEEDINGS OF THE 3RD WORLD CONGRESS ON INTELLIGENT CONTROL AND AUTOMATION, VOLS 1-5, 2000, : 1295 - 1299
- [2] Modeling and analyzing biomedical processes using workflow/Petri Net models and tools MEDINFO 2004: PROCEEDINGS OF THE 11TH WORLD CONGRESS ON MEDICAL INFORMATICS, PT 1 AND 2, 2004, 107 : 74 - 78
- [3] Network Security Analyzing and Modeling based on Petri net and Attack tree for SDN 2016 INTERNATIONAL CONFERENCE ON COMPUTING, NETWORKING AND COMMUNICATIONS (ICNC), 2016,
- [4] Analyzing separation of duties in Petri net workflows INFORMATION ASSURANCE IN COMPUTER NETWORKS: METHODS, MODELS AND ARCHITECTURES FOR NETWORK SECURITY, PROCEEDINGS, 2001, 2052 : 102 - 114
- [5] Operators for Analyzing Software Reliability with Petri net ISISE 2008: INTERNATIONAL SYMPOSIUM ON INFORMATION SCIENCE AND ENGINEERING, VOL 2, 2008, : 358 - 361
- [6] Modeling and Analyzing of Short-range Air Defense Operation Based on Petri Net MECHANICAL AND ELECTRONICS ENGINEERING III, PTS 1-5, 2012, 130-134 : 2120 - 2123
- [7] Analyzing Time Constrained Service Composition Based on Petri net THIRD INTERNATIONAL SYMPOSIUM ON ELECTRONIC COMMERCE AND SECURITY WORKSHOPS (ISECS 2010), 2010, : 68 - 71
- [9] Modeling Knowledge Flow using Petri net KAM: 2008 INTERNATIONAL SYMPOSIUM ON KNOWLEDGE ACQUISITION AND MODELING, PROCEEDINGS, 2008, : 142 - 146