共 50 条
- [3] On generating a basis of invariants in Petri Nets SMC '97 CONFERENCE PROCEEDINGS - 1997 IEEE INTERNATIONAL CONFERENCE ON SYSTEMS, MAN, AND CYBERNETICS, VOLS 1-5: CONFERENCE THEME: COMPUTATIONAL CYBERNETICS AND SIMULATION, 1997, : 2228 - 2233
- [4] Generating Inductive Invariants for Petri Nets ADVANCES IN ELECTRICAL ENGINEERING AND AUTOMATION, 2012, 139 : 259 - +
- [6] Computing Parameterized Invariants of Parameterized Petri Nets APPLICATION AND THEORY OF PETRI NETS AND CONCURRENCY (PETRI NETS 2021), 2021, 12734 : 141 - 163
- [7] A Survey of Petri Nets Supervision Based on Place Invariants PROCEEDINGS OF ANNUAL CONFERENCE OF CHINA INSTITUTE OF COMMUNICATIONS, 2010, : 189 - 193