An approach for enforcing a class of GMECs on time Petri nets with uncontrollable transitions

DOI10.1016/j.ins.2021.09.047OpenAlexW3201230491MaRDI QIDQ6186994

No author found.

Publication date: 10 January 2024

Published in: Information Sciences (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.ins.2021.09.047

zbMATH Keywords

discrete event systemsupervisory controlgeneralized mutual exclusion constrainttime Petri net

Mathematics Subject Classification ID

Systems theory; control (93-XX) Operations research, mathematical programming (90-XX)

Related Items (1)

Least-cost transition sequence estimation in labelled time Petri net systems with unobservable transitions

Cites Work

• Partial order reduction for checking soundness of time workflow nets
• Suboptimal supervisory control of Petri nets in presence of uncontrollable transitions via monitor places
• State-based fault diagnosis of discrete-event systems with partially observable outputs
• Maximally permissive controller synthesis for time Petri nets
• Design of Optimal Petri Net Controllers for Disjunctive Generalized Mutual Exclusion Constraints
• State Estimation and Fault Diagnosis of Labeled Time Petri Net Systems With Unobservable Transitions
• Supervisory control of timed discrete-event systems
• Petri net supervisors for DES with uncontrollable and unobservable transitions
• Near-Optimal Scheduling for Petri Net Models With Forbidden Markings
• Performance Optimization for Timed Weighted Marked Graphs Under Infinite Server Semantics
• An Approach to Improve Permissiveness of Supervisors for GMECs in Time Petri Net Systems
• Synthesis of supervisors enforcing general linear constraints in petri nets
• Efficient Reachability Analysis for Time Petri Nets
• Feedback Control Logic for Backward Conflict Free Choice Nets
• Marking Observer in Labeled Petri Nets With Application to Supervisory Control
• Max-Plus Control Design for Temporal Constraints Meeting in Timed Event Graphs
• Supervisory Control of Networked Timed Discrete Event Systems and Its Applications to Power Distribution Networks
• Fault Diagnosis for Discrete Event Systems Modeled By Bounded Petri Nets
• Automated Technology for Verification and Analysis

This page was built for publication: An approach for enforcing a class of GMECs on time Petri nets with uncontrollable transitions