共 50 条
- [1] PETRI NETS AND MARKED GRAPHS - MATHEMATICAL-MODELS OF CONCURRENT COMPUTATION AMERICAN MATHEMATICAL MONTHLY, 1982, 89 (08): : 552 - 566
- [2] Plain, Bounded, Reversible, Persistent, and k-marked Petri Nets Have Marked Graph Reachability Graphs REACHABILITY PROBLEMS, RP 2016, 2016, 9899 : 51 - 62
- [4] Diagnosability of Petri nets with observation graphs Discrete Event Dynamic Systems, 2016, 26 : 539 - 559
- [5] Diagnosability of Petri nets with observation graphs DISCRETE EVENT DYNAMIC SYSTEMS-THEORY AND APPLICATIONS, 2016, 26 (03): : 539 - 559
- [7] Characterizing Stable Inequalities of Petri Nets APPLICATION AND THEORY OF PETRI NETS AND CONCURRENCY, 2015, 9115 : 266 - 286
- [8] Duality of Controllability-Observability in Continuous Petri Nets 2014 IEEE EMERGING TECHNOLOGY AND FACTORY AUTOMATION (ETFA), 2014,
- [9] COMPOSITION AND DECOMPOSITION OF PETRI NETS AND THEIR COVERABILITY GRAPHS RAIRO-INFORMATIQUE THEORIQUE ET APPLICATIONS-THEORETICAL INFORMATICS AND APPLICATIONS, 1994, 28 (02): : 73 - 124
- [10] Application of Comparability Graphs in Decomposition of Petri Nets 2014 7TH INTERNATIONAL CONFERENCE ON HUMAN SYSTEM INTERACTIONS (HSI), 2014, : 216 - 220