共 50 条
- [41] VALIDATING THE BEHAVIOR OF A SUPERVISED SYSTEM USING PETRI NETS [J]. DYNA-COLOMBIA, 2012, 79 (173): : 113 - 121
- [42] System level testability analysis using Petri Nets [J]. IEEE INTERNATIONAL HIGH-LEVEL DESIGN VALIDATION AND TEST WORKSHOP, PROCEEDINGS, 2000, : 112 - 117
- [43] Fair control of Petri nets [J]. 2004 IEEE INTERNATIONAL CONFERENCE ON SYSTEMS, MAN & CYBERNETICS, VOLS 1-7, 2004, : 1672 - 1677
- [44] Fault diagnosis of transmission network using Fuzzy Petri nets [J]. 2007 IEEE LAUSANNE POWERTECH, VOLS 1-5, 2007, : 1802 - +
- [45] Formalism of Stochastic Queueing Network using Stochastic Petri Nets [J]. 2018 19TH IEEE/ACIS INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING, ARTIFICIAL INTELLIGENCE, NETWORKING AND PARALLEL/DISTRIBUTED COMPUTING (SNPD), 2018, : 347 - 351
- [46] Hybrid modeling of control system based on hybrid Petri nets [J]. 2007 IEEE INTERNATIONAL CONFERENCE ON CONTROL AND AUTOMATION, VOLS 1-7, 2007, : 254 - 258
- [47] AN APPLICATION OF PETRI-NETS IN THE CONTROL-SYSTEM OF THE FTC [J]. MICROPROCESSING AND MICROPROGRAMMING, 1988, 24 (1-5): : 681 - 686
- [49] A Formal Model of Satellite Communication System Network Control Protocol based on Generalized Stochastic Petri Nets [J]. 2015 IEEE INTERNATIONAL CONFERENCE ON COMPUTER AND COMMUNICATIONS (ICCC), 2015, : 340 - 346
- [50] Measuring Network Centrality in Petri Nets [J]. PROCEEDINGS OF THE 2018 IEEE INTERNATIONAL CONFERENCE ON ADVANCED MANUFACTURING (IEEE ICAM), 2018, : 320 - 323