A New Scheme for Verifying Rule-Based Systems by Using Net-Invariants of Petri Nets
TRANSACTIONS- SOCIETY OF INSTRUMENT AND CONTROL ENGINEERS ; 36 ; 810-817
2000-01-01
8 pages
Article (Journal)
Unknown
DDC: | 629.8 |
© Metadata Copyright the British Library Board and other contributors. All rights reserved.
Generating Inductive Invariants for Petri Nets
Springer Verlag | 2012
|Reversibility Analysis for Petri Nets by Using T-invariants
British Library Conference Proceedings | 2008
|Rule-based refinement of petri nets for modeling train control systems
Tema Archive | 2000
|