On the synthesis of a controllable supervisor for discrete processes modeled by temporal Petri nets

The paper presents the conceptual framework and the synthesis procedure for temporal discrete event system supervisor. The approach is suitable in controlling systems as flexible manufacturing systems, in which certain durations of operations are not precisely known a priori. In this way, the model embodies temporal uncertainties of the process and the supervisor is “robust” to this indeterminism. The synthesis procedure could result in one ore more controllable supervision policies