Non-Interleaving Approach to the Modeling and Specification Issues of Concurrent DES

Masurkiewicz-trace is introduced as the behavioural model for concurrent discrete event dynamic systems, as an alternative to the more popular interleaving semantics. Traces possess similar formal properties to strings of symbols. In particular regular trace languages can all be recognized by state machine decomposable (SMD) labeled Petri nets (LPN), a generalization of the well known Kleene´s theorem. The natural compositional structures of traces and LPN facilitate modular approach to such fundamental isses as controlled behaviour specification and supervisor synthesis for concurrent DEDS.