Synchronized PN
The model is a discrete event model with :
- logical time representation if the event are not timed,
An event is associated with each transition,
this event conditions the firing of the transition.
When the event comes from the controlled system it is
an external event. When a transition has no external event,
the always occurrent event denoted e, is associated with
Fundamental Hypothesis in discrete event modeling
- two external events cannot be simultaneous