Pages that link to "Item:Q5347802"
From MaRDI portal
The following pages link to Designing Compact and Maximally Permissive Deadlock Avoidance Policies for Complex Resource Allocation Systems Through Classification Theory: The Linear Case (Q5347802):
Displayed 15 items.
- On the enforcement of a class of nonlinear constraints on Petri nets (Q1689357) (← links)
- Time based deadlock prevention for Petri nets (Q2071966) (← links)
- A survey of siphons in Petri nets (Q2279728) (← links)
- Design of optimal Petri-net controllers for a class of flexible manufacturing systems with key resources (Q2279729) (← links)
- Optimal supervisor synthesis for Petri nets with uncontrollable transitions: a bottom-up algorithm (Q2279735) (← links)
- A branch and bound approach for the design of decentralized supervisors in Petri net models (Q2342792) (← links)
- Maximally permissive deadlock avoidance for resource allocation systems with R/W-locks (Q2348357) (← links)
- Concurrency bugs in multithreaded software: modeling and analysis using Petri nets (Q2393141) (← links)
- An enhanced supervisory control strategy for periodicity mutual exclusions in discrete event systems based on Petri nets (Q2398731) (← links)
- Optimal Petri net supervisor synthesis for forbidden state problems using marking mask (Q2656745) (← links)
- The fundamental closed-form solution of control-related states of<i>k</i>th order S3PR system with left-side non-sharing resource places of Petri nets (Q2792707) (← links)
- Extension of the lower bound of monitor solutions of maximally permissive supervisors to non-α net systems (Q2822261) (← links)
- Optimal control applications and methods literature survey (No. 27) (Q2847229) (← links)
- Topological reverse mirroring: a new efficient knowledge-based methodology of reachability analysis for Petri nets (Q5043516) (← links)
- On the lower bound of monitor solutions of maximally permissive supervisors for a subclass α-S<sup>3</sup>PR of flexible manufacturing systems (Q5265607) (← links)