一类实时离散事件系统的控制综合

本文用含状态位置时间的受控标记图为一类受控的实时DEDS建模,研究了实时DEDS的禁止状态问题及实时可控性,给出了最大允许实时控制的综合方法。最后通过一个制造系统的实例给出了该方法的应用。