Failures in discrete-event systems and dealing with them by means of Petri nets
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 de...
| Main Author: | |
|---|---|
| Format: | Article |
| Language: | English |
| Published: |
World Scientific Publishing
2018-05-01
|
| Series: | Vietnam Journal of Computer Science |
| Subjects: | |
| Online Access: | http://link.springer.com/article/10.1007/s40595-018-0110-3 |