Pages that link to "Item:Q3550619"
From MaRDI portal
The following pages link to On the Siphon-Based Characterization of Liveness in Sequential Resource Allocation Systems (Q3550619):
Displayed 7 items.
- An algorithm to compute the minimal siphons in \(S^4 PR\) nets (Q351730) (← links)
- Deadlock and liveness characterization for a class of generalized Petri nets (Q780961) (← links)
- Editorial: Deadlock analysis and control in resource allocation systems (Q2279724) (← links)
- An efficient siphon-based deadlock prevention policy for a class of generalized Petri nets (Q2314733) (← links)
- An iterative method for synthesizing non-blocking supervisors for a class of generalized Petri nets using mathematical programming (Q2377377) (← links)
- Liveness-enforcing supervisors synthesis for a class of generalised Petri nets based on two-stage deadlock control and mathematical programming (Q3058342) (← links)
- Suboptimal liveness-enforcing supervisor design for a class of generalised Petri nets using partial siphon enumeration and mathematical programming (Q3063811) (← links)