Elementary Net (EN) System

Definition

(according to [bd92])

Transition Rule

Properties

Transitions with side-conditions are never enabled (dead).

Sample Net

(from [rei87])

References


BACK