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
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 Method of Verifying a Switching SDL Specification by Utilizing Petri Nets
British Library Online Contents | 1994
|