期刊论文详细信息
Vietnam Journal of Computer Science | |
Failures in discrete-event systems and dealing with them by means of Petri nets | |
František Čapkovič1  | |
[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