Dynamical supervision for a class of discrete event systems with concurrent events

We introduce a controlled Petri net to model the concurrent discrete event system. In the context of languages, the control problem of forbidden concurrent event string of discrete event systems is analyzed. Then the specification of a supervisor for a discrete event system is discussed in terms of a legal language and its supremal controllable sublanguage, which leads to a practical realization, i.e., dynamical supervision.