Concurrent and maximally concurrent evolution of nonsequential systems

The semantics expressed intuitively as ‘execute as much as possible in parallel’ is formally defined and analysed. The relation between such a maximally concurrent semantics and ‘normal’ concurrent semantics is developed. Necessary and sufficient criteria for the equivalence of these semantics are formulated. As an abstract model of nonsequential systems the COSY path expression formalism is used.