Pages that link to "Item:Q4633154"
From MaRDI portal
The following pages link to On liveness and controlled siphons in Petri nets (Q4633154):
Displaying 16 items.
- Maximally permissive liveness-enforcing supervisor with lowest implementation cost for flexible manufacturing systems (Q497950) (← links)
- Deadlock and liveness characterization for a class of generalized Petri nets (Q780961) (← links)
- On liveness and boundedness of asymmetric choice nets (Q1884933) (← links)
- Deadlock detection-oriented unfolding of unbounded Petri nets (Q2215072) (← links)
- Editorial: Deadlock analysis and control in resource allocation systems (Q2279724) (← links)
- A survey of siphons in Petri nets (Q2279728) (← links)
- Think-globally-act-locally approach with weighted arcs to the synthesis of a liveness-enforcing supervisor for generalized Petri nets modeling FMSs (Q2279733) (← links)
- A suboptimal deadlock control policy for designing non-blocking supervisors in flexible manufacturing systems (Q2293066) (← links)
- Petri net representation and reachability analysis of 0--1 integer linear programming problems (Q2293169) (← links)
- Computation of strict minimal siphons in a class of Petri nets based on problem decomposition (Q2293269) (← links)
- An efficient siphon-based deadlock prevention policy for a class of generalized Petri nets (Q2314733) (← links)
- Structural liveness of Petri nets is \textsc{ExpSpace}-hard and decidable (Q2317836) (← links)
- Methods for the estimation of the size of lookahead tree state-space (Q2393146) (← links)
- Robustness of deadlock control for a class of Petri nets with unreliable resources (Q2446458) (← links)
- PSPACE-Completeness of the Soundness Problem of Safe Asymmetric-Choice Workflow Nets (Q5100757) (← links)
- Adaptive supervisory control for a class of Petri nets with bimodal transitions (Q6058299) (← links)
