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 …

This paper surveys recent research on the synthesis of controllers for discrete event systems
(DESs) modeled by controlled Petri nets (CtlPNs). Petri nets have been used extensively in …

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 …

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 …

Abstract The interest in Discrete Event Dynamic Systems (DEDS) has increased during the
last years, due to the lack of methods and tools that are capable of handling the complexity …

We extend the class of control problems that can be modeled by Petri nets considering the
notion of weak terminal behavior. Deterministic weak languages represent closed-loop …

Families of Petri net languages are usually defined by varying the type of transition labeling
and the class of subsets of N m to be used as sets of final markings (m is the number of …

A necessary and sufficient condition for a prefix-closed language K contained in Sigma* to
be controllable with respect to another prefix-closed language L contained in Sigma* is that …

We study supervisory control of discrete event systems with potentially infinite state-space
using state variables for representation and specification. An assignment program model …

The authors study the supervisory control problem in the setting of Petri net languages. They
show that the problem of determining controllability for Petri net languages is reducible to …