A traditional power transmission system (TPTS) is composed of many electrical substations
(ESs) and transmission lines. When the latter meet faults, the output of the ESs may be …

Time and resource management and optimization are two important challenges for an
emergency response process, by which all individuals and groups manage hazards in an …

This paper develops a decentralized supervision policy for a Petri net through collaboration
between a coordinator and subnet controllers. The coordinator is chosen from the subnet …

Deadlock control approaches based on Petri nets are usually implemented by adding
control places and related arcs to the Petri net model of a system. The main disadvantage of …

In this article, we present an active diagnosis method to enhance diagnosability of a plant
modeled by a finite-state automaton. Some properties of active diagnosis and silent blocking …

It is certainly worth remarking on half a century of a work defining a landmark in Discrete
Event Dynamic Systems (DEDS) theory. This invited contribution aims to combine some …

This study deals with the formal modeling and verification of reconfigurable discrete event
control systems (RDECSs). The behavior of an RDECS is represented by that of control …

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 …

It is very challenging to schedule cluster tools subject to wafer residency time constraints
and activity time variation. This work develops a Petri net model to describe the system and …

The creation of value-added services by automatic composition of existing ones is gaining
significant momentum as the potential silver bullet in service-oriented computing. A large …