共 50 条
- [41] Model Checking Control Flow Petri Nets Using PAT [J]. PROCEEDINGS OF THE 2013 13TH INTERNATIONAL CONFERENCE ON COMPUTATIONAL SCIENCE AND ITS APPLICATIONS (ICCSA 2013), 2013, : 124 - 129
- [42] A compositional model of time Petri nets [J]. APPLICATION AND THEORY OF PETRI NETS 2000, PROCEEDINGS, 2000, 1825 : 303 - 322
- [44] THE CHECKING OF LIVENESS OF ORDINARY PETRI NETS [J]. DOKLADY AKADEMII NAUK BELARUSI, 1985, 29 (11): : 1006 - 1009
- [45] Using Integer Time Steps for Checking Branching Time Properties of Time Petri Nets [J]. TRANSACTIONS ON PETRI NETS AND OTHER MODELS OF CONCURRENCY VIII, 2013, 8100 : 89 - 105
- [46] Towards a General Model to Handle Multi-enabledness in Time Petri Nets [J]. FORMALISMS FOR REUSE AND SYSTEMS INTEGRATION, 2015, 346 : 103 - 131
- [47] Consistency's checking of chronicles' set Using Time Petri Nets [J]. 18TH MEDITERRANEAN CONFERENCE ON CONTROL AND AUTOMATION, 2010, : 1520 - 1525
- [48] Scenario-based timing consistency checking for time Petri nets [J]. FORMAL TECHNIQUES FOR NETWORKED AND DISTRIBUTED SYSTEMS - FORTE 2006, 2006, 4229 : 388 - 403
- [50] Towards a Consistent Semantics for Unsafe Time Petri Nets [J]. ADVANCES IN SOFTWARE ENGINEERING, PROCEEDINGS, 2009, 59 : 42 - 49