Modeling and analysis of discrete event systems using a Petri net component

Author(s):  
Michel dos Santos Soares
2012 ◽  
Vol 45 (6) ◽  
pp. 188-193 ◽  
Author(s):  
M. Zareiee ◽  
A. Dideban ◽  
A.A. Orouji ◽  
H. Alla

2015 ◽  
Vol 60 (1) ◽  
pp. 59-71 ◽  
Author(s):  
Felipe Gomes Cabral ◽  
Marcos Vicente Moreira ◽  
Oumar Diene ◽  
Joao Carlos Basilio

Author(s):  
Jana Flochová ◽  
Tomáš Lojan

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.


Sign in / Sign up

Export Citation Format

Share Document