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
01.01.2000
8 pages
Aufsatz (Zeitschrift)
Unbekannt
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 Archiv | 2000
|