Real-time control is of great significance for practical plants such as intelligent manufacturing systems and transportation systems, and timing information should be integrated in their discrete models. The existing specifications expressed by generalized mutual exclusion constraints (GMECs) do not consider timing specifications in the control design of these models, which would be restrictive for the control specifications of a timed system. In the framework of time Petri net (TPN) models, this paper introduces a class of GMECs, called time GMECs (TGMECs), in which each GMEC is associated with a restricted time interval. By restricting the firing intervals of controllable transitions, an efficient method based on control functions is proposed to implement TGMECs on a TPN system in presence of uncontrollable transitions. The core of the reported method is to employ the transitions-related timing constraints in a partial modified state class graph (PMSCG) to solve mathematical programming problems. Such a PMSCG is a graph recently introduced to enhance the supervisor permissiveness for a TPN system with GMECs. In particular, the terminal condition for the construction of a PMSCG is modified. By taking advantage of the PMSCG, an online control procedure is presented to implement the supervision for TGMECs in a maximally permissive way.

实时控制对于智能制造系统和交通系统等实际工厂具有重要意义，时序信息应集成到它们的离散模型中。由广义互斥约束 (GMEC) 表示的现有规范在这些模型的控制设计中没有考虑时序规范，这对定时系统的控制规范是有限制的。在时间Petri网（TPN）模型的框架下，本文引入了一类GMECs，称为时间GMECs（TGMECs），其中每个GMEC都与一个受限的时间间隔相关联。通过限制可控转换的触发间隔，提出了一种基于控制函数的有效方法，以在存在不可控转换的情况下在 TPN 系统上实现 TGMEC。报告方法的核心是在部分修改状态类图 (PMSCG) 中采用与转换相关的时序约束来解决数学规划问题。这种 PMSCG 是最近引入的图，用于增强具有 GMEC 的 TPN 系统的监管者许可。特别是，修改了构建 PMSCG 的终端条件。通过利用 PMSCG，提出了一种在线控制程序，以最大允许的方式实施对 TGMEC 的监督。修改了构建 PMSCG 的终端条件。通过利用 PMSCG，提出了一种在线控制程序，以最大允许的方式实施对 TGMEC 的监督。修改了构建 PMSCG 的终端条件。通过利用 PMSCG，提出了一种在线控制程序，以最大允许的方式实施对 TGMEC 的监督。