Design of Monitor-based Supervisors in Labelled Petri Nets. Issue 7 (2018)

• Record Type: Journal Article
• Authors: Ma, Ziyue; He, Zhou; Li, Zhiwu; Giua, Alessandro
• Is Part Of: IFAC-PapersOnLine. Volume 51:Issue 7(2018)
• Page Start: 374
• Page End: 380
• Publication Date: 2018
• Subjects: Supervisory Control -- Petri Net -- Discrete Event System; Automatic control -- Periodicals; 629.805
• DOI: 10.1016/j.ifacol.2018.06.328
• Languages: English
• ISSNs: 2405-8963

Abstract

Abstract: In this paper we propose a method to compute a monitor-based supervisor that enforces a GMEC in labelled Petri nets. Due to the presence of indistinguishable transitions, an observable GMEC may not be enforceable by a monitor place in general. To solve this problem we introduce the notion dependency of transitions that can be used to judge whether an event is generated by an input/output transition or its spurious ones, and we present an algorithm to design a monitor-based supervisor based on the notion of Hilbert basis . This approach is purely structural with low online computational cost. Moreover, our supervisor is robust to some change of initial markings or irrelevant part of the plant net.