scholarly journals Graphical Modeling and Analysis Software for State Space-Based Optimization of Discrete Event Systems

IEEE Access ◽  
2018 ◽  
Vol 6 ◽  
pp. 38385-38398 ◽  
Author(s):  
Jun Tang ◽  
Feng Zhu
Keyword(s):  
State Space ◽  
Discrete Event Systems ◽  
Discrete Event ◽  
Analysis Software ◽  
Graphical Modeling ◽  
Modeling And Analysis ◽  
Event Systems

scholarly journals Supervisors of Petri Nets

2019 ◽  
Vol 27 (45) ◽  
pp. 33-41
Author(s):  
Jana Flochová ◽  
Tomáš Lojan
Keyword(s):  
Petri Nets ◽  
Communication Networks ◽  
Supervisory Control ◽  
Manufacturing Systems ◽  
Discrete Event Systems ◽  
Discrete Event ◽  
Modeling And Analysis ◽  
Industrial Systems ◽  
Software Application ◽  
Event Systems

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.

scholarly journals An Experimental Comparison of Three Diagnosis Techniques for Discrete Event Systems

10.29007/vwc9 ◽  
2018 ◽  
Author(s):  
Abderraouf Boussif ◽  
Baisi Liu ◽  
Mohamed Ghazel
Keyword(s):  
Fault Diagnosis ◽  
State Space ◽  
Discrete Event Systems ◽  
Discrete Event ◽  
Experimental Comparison ◽  
Space Representation ◽  
Level Crossing ◽  
Time Consumption ◽  
State Space Representation ◽  
Event Systems

This paper deals with a benchmark-based experimental comparison of three diagnoser-based approaches for fault diagnosis of discrete event systems modeled by Petri nets: the MBRG/BRD approach, the FMG/FMSG approach and the SSD approach. The experiments are performed on a level crossing benchmark, using the respective software tools integrating the approaches. Different features are shown in terms of state-space building (exhaustive or partial), procedure for analyzing diagnosability (based on complete or on-the-fly built state-space) and state-space representation (concrete or symbolic). Based on the obtained experimental results, a comparative discussion is provided particularly regarding memory and time consumption for analyzing diagnosability of the three techniques.

Sign in / Sign up

Export Citation Format

Share Document