Liveness enforcement for production systems modeled by time Petri nets

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

zbMATH Keywords

Petri nettime Petri netmaximally permissive controllercontrollable transitionliveness enforcement

Mathematics Subject Classification ID

Discrete event control/observation systems (93C65)

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