Pages that link to "Item:Q5416931"
From MaRDI portal
The following pages link to Structure reduction of liveness‐enforcing Petri nets using mixed integer programming (Q5416931):
Displaying 10 items.
- A survey of siphons in Petri nets (Q2279728) (← links)
- Design of a Maximally Permissive Liveness-enforcing Supervisor with Reduced Complexity for Automated Manufacturing Systems (Q2789909) (← links)
- Elementary-Siphon-Based Control Policy for Flexible Manufacturing Systems with Partial Observability and Controllability of Transitions (Q2789927) (← links)
- Solving the Problem of Forbidden States in Discrete Event Systems: A Novel Systematic Method for Reducing the Number of Control Places (Q2790014) (← links)
- Deadlock Control for a Class of Generalized Petri Nets Based on Proper Resource Allocation (Q2812823) (← links)
- Dynamic Slicing of Petri Nets Based on Structural Dependency Graph and its Application in System Analysis (Q2813985) (← links)
- Controller Synthesis with Highly Simplified Linear Constraints (Q3454364) (← links)
- Maximally Permissive Petri Net Supervisors for Flexible Manufacturing Systems with Uncontrollable and Unobservable Transitions (Q5177180) (← links)
- Extended Elementary Siphons and Their Application to Liveness‐Enforcement of Generalized <scp>P</scp>etri Nets (Q5177194) (← links)
- Confusion Diagnosis and Control of Discrete Event Systems Using Synchronized <scp>P</scp>etri Nets (Q5398017) (← links)
