Parallel Composition of Automata
parallel composition of two automata with identical event sets.
- Alpha : The initial state vector for the composed automaton is the Kronecker product of the alpha vectors of the two automata *Beta : The final state vector is a Kronecker product of a vector of identity elements (from automaton A) and the beta vector of automaton B *mu : _ If the event is controllable, its morphism matrix in the composed automaton is the Kronecker product of the matrices for that event from both automata. _ If uncontrollable, it's the Kronecker product of an identity matrix (from automaton A) and the morphism matrix of the event from automaton B