论文部分内容阅读
在实时离散事件系统(RTDES)中,有界事件和有效期事件是两类特殊的具有硬实时上限的离散事件,它们的模型描述相对较为复杂,对其控制研究也十分困难。通过为这两类事件找到一种可以用无界事件和强迫事件来描述的等价Petri网模型,可以简化RTDES的基本模型,同时很容易将陈浩勋[1]关于最大允许状态反馈逻辑的结论推广到简化受控赋时Petri网中,便可以对更广泛的RTDES进行研究。
In real-time discrete event system (RTDES), bounded events and valid events are two kinds of special discrete events with hard real-time upper bound. Their model descriptions are relatively complex and it is very difficult to control their research. By finding an equivalent Petri net model for both types of events that can be described by unbounded events and forcing events, the basic RTDES model can be simplified and it is easy to generalize the conclusion of Chen Haoxun [1] on the maximum allowed state feedback logic to Simplifying controlled-time Petri nets allows for a broader study of RTDES.