Verifying concurrent system behavior with Petri net invariants
8th Computing in Aerospace Conference ; 1991 ; Baltimore , MD , U.S.A.
1991-01-01
Conference paper
Electronic Resource
English
A New Scheme for Verifying Rule-Based Systems by Using Net-Invariants of Petri Nets
British Library Online Contents | 2000
|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
|