Structure reduction of liveness‐enforcing Petri nets using mixed integer programming
From MaRDI portal
Publication:5416931
DOI10.1002/ASJC.342zbMath1286.93117OpenAlexW1813183338MaRDI QIDQ5416931
Publication date: 15 May 2014
Published in: Asian Journal of Control (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1002/asjc.342
Mixed integer programming (90C11) Discrete event control/observation systems (93C65) System structure simplification (93B11)
Related Items (10)
Controller Synthesis with Highly Simplified Linear Constraints ⋮ Confusion Diagnosis and Control of Discrete Event Systems Using Synchronized <scp>P</scp>etri Nets ⋮ Maximally Permissive Petri Net Supervisors for Flexible Manufacturing Systems with Uncontrollable and Unobservable Transitions ⋮ Extended Elementary Siphons and Their Application to Liveness‐Enforcement of Generalized <scp>P</scp>etri Nets ⋮ Design of a Maximally Permissive Liveness-enforcing Supervisor with Reduced Complexity for Automated Manufacturing Systems ⋮ Elementary-Siphon-Based Control Policy for Flexible Manufacturing Systems with Partial Observability and Controllability of Transitions ⋮ Solving the Problem of Forbidden States in Discrete Event Systems: A Novel Systematic Method for Reducing the Number of Control Places ⋮ A survey of siphons in Petri nets ⋮ Deadlock Control for a Class of Generalized Petri Nets Based on Proper Resource Allocation ⋮ Dynamic Slicing of Petri Nets Based on Structural Dependency Graph and its Application in System Analysis
Cites Work
This page was built for publication: Structure reduction of liveness‐enforcing Petri nets using mixed integer programming
