Elementary Net (EN) System
Definition
(according to [bd92])
Transition Rule
Properties
Transitions with side-conditions are never enabled (dead).
Sample Net
(from [rei87])
References
- P. S. Thiagarajan: Elementary Net Systems [thi87]
- G. Rozenberg, P. S. Thiagarajan: Petri Nets: Basic Notions, Structure, Behaviour [rt86]
- L. Bernardinello, F. De Cindio: A survey of Basic Net Models and Modular Net Classes [bd92]
BACK