Liveness enforcement for production systems modeled by time Petri nets
From MaRDI portal
Publication:6052675
DOI10.1016/j.ins.2023.119564zbMath1522.93127OpenAlexW4386056704MaRDI QIDQ6052675
Li Yin, Yifan Dong, Zhiwu Li, Tao Qin
Publication date: 22 September 2023
Published in: Information Sciences (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.ins.2023.119564
Cites Work
- Unnamed Item
- Control of discrete-event systems. Automata and Petri net perspectives
- Priority scheduling of distributed systems based on model checking
- Design of a maximally permissive liveness-enforcing supervisor with a compressed supervisory structure for flexible manufacturing systems
- On the analysis of Petri nets with static priorities
- Controlling Petri Net Behavior using Priorities for Transitions
- State Estimation and Fault Diagnosis of Labeled Time Petri Net Systems With Unobservable Transitions
- Time-independent Liveness in Time Petri Nets
- Parametric Model-Checking of Time Petri Nets with Stopwatches Using the State-Class Graph
- Recoverability of Communication Protocols--Implications of a Theoretical Study
- On structural reduction of liveness-enforcing Petri net supervisors for flexible manufacturing systems: an algebraic approach
- Petri Nets
- An Approach to Improve Permissiveness of Supervisors for GMECs in Time Petri Net Systems
- Efficient Reachability Analysis for Time Petri Nets
- Automated Technology for Verification and Analysis
- On Liveness Enforcing Supervisory Policies for Arbitrary Petri Nets
This page was built for publication: Liveness enforcement for production systems modeled by time Petri nets
