Pages that link to "Item:Q5352870"
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 Nonlinear Case (Q5352870):
Displaying 8 items.
- Equivalent transformation of nonlinear constraints to linear constraints in Petri nets (Q1666226) (← links)
- On the enforcement of a class of nonlinear constraints on Petri nets (Q1689357) (← links)
- Polynomial-complexity robust deadlock controllers for a class of automated manufacturing systems with unreliable resources using Petri nets (Q2023184) (← links)
- A survey of siphons in Petri nets (Q2279728) (← 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)
- Performance optimization for a class of generalized stochastic Petri nets (Q2348377) (← 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)
