Rapid advances in industrial information integration methods have spurred tremendous
growth in the use of enterprise systems. Consequently, a variety of techniques have been …

This paper deals with the enforcement of generalized mutual exclusion constraints (GMECs)
on time Petri nets (TPNs) with uncontrollable transitions by restricting the firing intervals of …

In the context of automated manufacturing systems (AMS), Petri nets are widely adopted to
solve the modeling, analysis, and control problems. So far, nearly all known approaches to …

This article investigates the enforcement of generalized mutual exclusion constraints
(GMECs) and deadlock-freeness on a time Petri net (TPN) system with uncontrollable …

A novel framework is introduced for the supervisory control (SC) of timed discrete event
systems based on Time Petri nets. The method encompasses both logical (markings to …

In this paper, we tackle the performance safety enforcing problem in plants modeled by
timed event graphs that are a subclass of timed Petri nets. We assume that a malicious …

In this paper, we present an improved method for the state estimation of a labeled time Petri
net (LTPN) system with unobservable transitions. Precisely, we provide a computationally …

Software systems that do not meet their timing constraints can cause risks. In this work, we
propose a comprehensive method for assessing the risk of timing failure by evaluating the …

Real-time control is of great significance for practical plants such as intelligent
manufacturing systems and transportation systems, and timing information should be …

We investigate expressiveness questions for time Petri nets (TPNs) and some of their most
useful extensions. We first introduce generalised time Petri nets (GTPNs) as an abstract …