<abstract xmlns="http://www.w3.org/1999/xhtml"><p>The design and operation of modern industrial systems require modeling and analysis in order to select the optimal design alternative and operational policy. Discrete event system models are encountered in a variety of fields, for example computers, communication networks, manufacturing systems, sensors or actuators, faults diagnosis, robotics and traffic. The paper describes principles and methods of supervisory control of discrete event systems initiated by Ramadge and Wonham. Three supervisory control methods based on the Petri net models are introduced, and the key features of the Petri tool software application for the supervisory control of discrete event systems modeled by Petri nets are highlighted.</p></abstract>

The design and operation of modern industrial systems require modeling and analysis in order to select the optimal design alternative and operational policy. Discrete event system models are encountered in a variety of fields, for example computers, communication networks, manufacturing systems, sensors or actuators, faults diagnosis, robotics and traffic. The paper describes principles and methods of supervisory control of discrete event systems initiated by Ramadge and Wonham. Three supervisory control methods based on the Petri net models are introduced, and the key features of the Petri tool software application for the supervisory control of discrete event systems modeled by Petri nets are highlighted.

Supervisors of Petri Nets

Slovak University of Technology in Bratislava

Faculty of Materials Science and Technology in Trnava, Institute of Applied Informatics, Automation and Mechatronics

Research Papers Faculty of Materials Science and Technology Slovak University of Technology

This work is licensed under the Creative Commons Attribution-NonCommercial-NoDerivatives 3.0 License.

{"article-title":"Supervisors of Petri Nets"}

The design and operation of modern industrial systems require modeling and analysis in order to select the optimal design alternative and operational policy....

Supervisors of Petri Nets

Publicado en línea: 16 dic 2019

Páginas: 33 - 41

Recibido: 19 ago 2019

Aceptado: 12 sept 2019

DOI: https://doi.org/10.2478/rput-2019-0023

Palabras clave
Discrete event systems, supervisory control, Petri nets, reachability tree, P-invariant

© 2019 Jana Flochová et al., published by Sciendo

This work is licensed under the Creative Commons Attribution-NonCommercial-NoDerivatives 3.0 License.

Supervisors of Petri Nets

Publicado en línea: 16 dic 2019

Páginas: 33 - 41

Recibido: 19 ago 2019

Aceptado: 12 sept 2019

DOI: https://doi.org/10.2478/rput-2019-0023

Palabras claveDiscrete event systems, supervisory control, Petri nets, reachability tree, P-invariant

© 2019 Jana Flochová et al., published by Sciendo

This work is licensed under the Creative Commons Attribution-NonCommercial-NoDerivatives 3.0 License.

Palabras clave
Discrete event systems, supervisory control, Petri nets, reachability tree, P-invariant