1-SAFE NET SYSTEMS
1-safe systems are defined as a subclass of P/T systems.
Definition
(according to [bd92])
Transition Rule
The transition rule is given according to P/T systems where the one which enables side conditions (safe transition rule) is more frequently used.
Property
Contact-free 1-safe systems and contact-free EN systems coincide.
Tools
EASE uses 1-safe nets covered by monomarked S-invariants
References
L. Bernardinello, F. De Cindio, A survey of Basic Net Models and Modular Net Classes [bd92]
BACK