This paper surveys recent research on the application of Petri net models to the analysis and
synthesis of controllers for discrete event systems. Petri nets have been used extensively in …

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 …

Increasing complexity in engineering projects raises difficult challenges in industry and
requires effective tools for correct-by-construction design or design verification. This book …

This paper provides an overview of some well-known formal approaches for the synthesis
and implementation of logic controllers. Most of these approaches are based on the use and …

Discrete-event systems are studied, treating the state space as the fundamental modeling
concept. The control of discrete-event systems using predicates and predicate transformers …

The supervision based on place invariants (SBPI) is an efficient technique for the
supervisory control of Petri nets. This paper reveals the significance of the SBPI based on a …

This paper describes the implementation of an event-based Internet robotic system to
monitor water quality and feed crayfish in a shadehouse, guided by a model-based …

This note discusses the use of Petri net languages in supervisory control theory. First it is
shown that the trimming of an unbounded Petri net is not always possible and a new class of …

In this paper, we present an efficient method based on safe Petri Nets to construct a
controller. A set of linear constraints allows forbidding the reachability of specific states. The …

Algorithms for computing a minimally restrictive control in the context of supervisory control
of discrete-event systems have been well developed when both the plant and the desired …