共 50 条
- [31] Protocol Analysis Through Alternating-time Temporal Logic and Timed Petri Net Models 2009 5TH INTERNATIONAL CONFERENCE ON WIRELESS COMMUNICATIONS, NETWORKING AND MOBILE COMPUTING, VOLS 1-8, 2009, : 4627 - 4630
- [32] Hybrid fuzzy/crisp-logic control of manufacturing systems ETFA '96 - 1996 IEEE CONFERENCE ON EMERGING TECHNOLOGIES AND FACTORY AUTOMATION, PROCEEDINGS, VOLS 1 AND 2, 1996, : 663 - 669
- [33] An Attack Model Based on Both-Branch Fuzzy Logic and Fuzzy Petri Net FIFTH INTERNATIONAL CONFERENCE ON INFORMATION ASSURANCE AND SECURITY, VOL 1, PROCEEDINGS, 2009, : 141 - 144
- [35] Petri net models of VHDL control statements DESDES '1: PROCEEDINGS OF THE INTERNATIONAL WORKSHOP ON DISCRETE-EVENT SYSTEM DESIGN, 2001, : 195 - 201
- [36] Worst case execution time analysis for Petri net models of embedded systems ESA'03: PROCEEDINGS OF THE INTERNATIONAL CONFERENCE ON EMBEDDED SYSTEMS AND APPLICATIONS, 2003, : 176 - 182
- [38] Reasoning and analysis of uncertainties within command and control navigation simulation using fuzzy logic Petri Net FUZZY LOGIC: FRAMEWORK FOR THE NEW MILLENNIUM, 2002, 81 : 253 - 262
- [40] Unified Colored Timed Petri Net Models for the Adaptive Control of Disassembly Systems 2008 IEEE INTERNATIONAL CONFERENCE ON AUTOMATION SCIENCE AND ENGINEERING, VOLS 1 AND 2, 2008, : 638 - 643