具有硬实时上限的受控赋时Petri网的控制综合

在实时离散事件系统（ＲＴＤＥＳ）中，有界事件和有效期事件是两类特殊的具有硬实时上限的离散事件，它们的模型描述相对较为复杂，对其控制研究也十分困难。通过为这两类事件找到一种可以用无界事件和强迫事件来描述的等价Ｐｅｔｒｉ网模型，可以简化ＲＴＤＥＳ的基本模型，同时很容易将陈浩勋［１］关于最大允许状态反馈逻辑的结论推广到简化受控赋时Ｐｅｔｒｉ网中，便可以对更广泛的ＲＴＤＥＳ进行研究。

Control Synthesis for a Class of Controlled Time Petri Nets with Hard Real-time Deadlines

Prospective and expirational events are two types of events with hard real-time deadlines in RTDESs (real-time discrete events system).Their models and control problems are very complicated. To deal with the systems including these events, two models consisting of one remote event and one forcible event are established to equivalently describe prospective and expirational events. With the equivalent models, the time Petri nets could be simplified to one which only inclunde remote and forcible events. The well-defined framework about maximally permissive state feedback logic based on automata was established by Ramadge and Wonham. It was extended to timed safe Petri netsand now further extend the conclusions to a much wider class of RTDESs which could meet hard real-time deadlines.