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 9 items.
- On the enforcement of a class of nonlinear constraints on Petri nets (Q1689357) (← 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)
- 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)
- 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)