实时并发离散事件系统的监控

Supervisory Control of Real-time Concurrent Discrete Event Systems

用受控赋时Ｐｅｔｒｉ网为具有并发事件的实时离散事件系统建模，并研究了这类模型下的监控问题，给出了实现给定并发事件语言的监控器存在的充要条件和一种动态监控方法．

This paper introduces controlled timed Petri nets for modelling the real-time discrete event systems with concurrent events. We study the supervisory control problem of the systems based on the model.The sufficient and necessary condition for the eaistence of a real time supervisor for a given concurrent event language is proposed. And an approach of dynamical supervision is given.