Extensions to Free Choice Nets
The following definitions concern only the net structure and don't affect the semantics of the net.
(definitions according to [bes87])
Extended Free Choice (EFC) Nets
Behaviourally Free Choice (BFC) Nets
Sample Net Structures
The three models are equivalent because every BFC system can be simulated by an EFC system and every EFC system can be simulated by a FC system.
Asymmetric Choice (AC) Nets
Behaviourally Asymmetric Choice (BAC) Nets
Reduced Asymmetric Choice (RAC) Nets
The RAC property allows all free choice structures having no more than two input places for each transition and only one type of non-FC structure, namely the very simplest AC structure:
Every BAC system can be simulated by an AC system and every AC system can be
simulated by an RAC system.
References
BACK