Failures in discrete-event systems and dealing with them by means of Petri nets

Vietnam Journal of Computer Science

František Čapkovič¹ 

[1] Institute of Informatics, Slovak Academy of Sciences;

关键词: Detection;    Discrete-event systems;    Failure;    Modelling;    Petri nets;    Reachability;   

DOI  :  10.1007/s40595-018-0110-3

来源: DOAJ

【 摘 要 】

Abstract An approach based on Petri nets pointing to the manner how to deal with failures in discrete-event systems is presented. It uses the reachability tree and/or reachability graph of the Petri net-based model of the real system as well as the synthesis of a supervisor to remove the possible deadlock(s). To illustrate the applicability of the approach to the detection and recovery of failures in DES modelled by Petri nets the case study on a railroad crossing is introduced.

【 授权许可】

Unknown