Partition by Place Invariants and Discrimination of Its Properties in Petri Nets
TRANSACTIONS- SOCIETY OF INSTRUMENT AND CONTROL ENGINEERS ; 32 , 6 ; 930-937
1996-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
|Modeling by Petri Net with Place Invariants for Sequential Control Systems
Online Contents | 1995
|A New Scheme for Verifying Rule-Based Systems by Using Net-Invariants of Petri Nets
British Library Online Contents | 2000
|British Library Online Contents | 1997
|