Event Feedback Supervision for a Class of Petri Nets With Unobservable Transitions
In this paper, we propose a method to design an on-line event feedback supervisor (EFS) for a class of Petri nets whose augmented unobservable subnets are acyclic forward synchronization and backward conflict-free (FSBCF) nets. In more detail, an FSBCF net is an ordinary Petri net in which each plac...
Main Authors: | , , |
---|---|
Format: | Article |
Language: | English |
Published: |
IEEE
2018-01-01
|
Series: | IEEE Access |
Subjects: | |
Online Access: | https://ieeexplore.ieee.org/document/8267030/ |