FREE CHOICE (FC) SYSTEMS
A Free Choice Net is an ordinary Petri Net such that every arc from a place is either a unique outgoing arc or a unique incoming arc to a transition.
Definition
(according to [bes87])
The Transition Rule is given according to (ordinary) Petri Nets.
Extensions
Extensions to FC Nets have weaker structural constraints.
Tools
QPN Tool treats Free Choice Nets as a structural subclass of Queueing Petri Nets.
References
- G. Rozenberg, P. S. Thiagarajan: Petri Nets: Basic Notions, Structure, Behaviour [rt86]
- E. Best: Structure Theory of Petri Nets: the Free Choice Hiatus [bes87]
BACK