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 11 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)
- (Q3411314) (← 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)