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