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

摘要

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