Maximally concurrent evolution of non-sequential 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" semantics is developed. Some sufficient criteria for the equivalence of these semantics are formulated. As an abstract model of non-sequential systems the COSY path expression formalism is used.