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