The goal of this paper is to overview the historical development of the field of Petri nets
(PNs) from a Systems Theory and Automatic Control perspective. It is intentionally not meant …

Petri nets have gained increasing usage and acceptance as a basic model of asynchronous
concurrent systems since 1962. As a class of structural objects of Petri nets, siphons play a …

A system is said to be opaque if a given secret behavior remains opaque (uncertain) to an
intruder who can partially observe system activities. This work addresses the verification of …

Resource failures may happen in automated manufacturing systems (AMSs) because of
different reasons in the real world, making most existing deadlock control policies …

In this paper, a compact representation of the reachability graph of a Petri net is proposed.
The transition set of a Petri net is partitioned into the subsets of explicit and implicit …

This work studies the scheduling problem of a single-arm multicluster tool with a linear
topology and process-bound bottleneck individual tool. The objective is to find a one-wafer …

This work proposes a novel structure in Petri nets, namely data inhibitor arcs, and their
application to the optimal supervisory control of Petri nets. A data inhibitor arc is an arc from …

This paper deals with deadlock problems in Petri nets by adding a set of recovery
transitions. Different from traditional deadlock control methods by deploying control places …

This paper deals with the enforcement of nonlinear constraints on Petri nets. A supervisory
structure is proposed for a class of nonlinear constraints. In order to enforce a nonlinear …

Opacity is a security and privacy property that evaluates whether an external observer
(intruder) can infer a secret of a system by observing its behavior. This paper proposes an …