Parallel
Computes the parallel composition of two genertors.
Detailed description:
Given two generators, this function computes a realisation of
the parallel composition LRes = L1 || L2,
i.e., shared events are synchronised while non-shared events are
executed independantly.
The resulting generators alphabet is the union of the argument alphabets.
Parameter Conditions:
In this implementation, only accessible states are generated.
On deterministic input this functions constructs a deterministic output.
The resulting generators controllability attributes are copied
from the arguments. It is condidered
an error if the controllability flags in the arguments dont match.
|