*For the most recent entries see the
Petri Nets Newsletter.*

## Petri net structural analysis for supervisory control.

Giua, A.;
DiCesare, F.
In:
*IEEE Trans. on Robotics and Automation, Vol. 10, No. 2*, pages 185-195.
1994.

Abstract:
The primary motivation for this research is to show how Petri nets may be
efficiently used within the framework of Supervisory Control. In
particular, the paper discusses how Integer Programming techniques for
Petri net models may be used to validate supervisors for the control of
discrete event systems. We consider a class of Place/Transition nets,
called Elementary Composed State Machines. The reachability problem for
this class can be solved by a modification of classical incidence matrix
analysis. In fact it is possible to derive a set of linear inequalities
that exactly defines the set of reachable markings. Finally, we show how
important of discrete event systems, such as the of blocking states or
controllability, may be by Integer Programming techniques.

Keywords:
Petri nets, structural analysis, supervisory control.

*Do you need a refined search? Try our search engine
which allows complex field-based queries.*
*Back to the Petri Nets Bibliography*