Reversibility Analysis for Petri Nets by Using T-invariants
10th, WSEAS international conference on automatic control modelling and simulation; New aspects of automatic control modelling and simulation ; 2008 ; Istanbul, Turkey
2008-01-01
7 pages
Conference paper
English
© Metadata Copyright the British Library Board and other contributors. All rights reserved.
Generating Inductive Invariants for Petri Nets
Springer Verlag | 2012
|Partition by Place Invariants and Discrimination of Its Properties in Petri Nets
British Library Online Contents | 1996
|A New Scheme for Verifying Rule-Based Systems by Using Net-Invariants of Petri Nets
British Library Online Contents | 2000
|Airport Traffic Simulation Using Petri Nets
Springer Verlag | 2013
|Operating rules description using Petri nets
Tema Archive | 2007
|