Pages that link to "Item:Q2279726"
From MaRDI portal
The following pages link to A novel method for deadlock prevention of AMS by using resource-oriented Petri nets (Q2279726):
Displaying 9 items.
- Deadlock and liveness characterization for a class of generalized Petri nets (Q780961) (← links)
- Comparison and evaluation of deadlock prevention methods for different size automated manufacturing systems (Q1665952) (← links)
- Robust deadlock control of automated manufacturing systems with multiple unreliable resources (Q2004755) (← links)
- Polynomial-complexity robust deadlock controllers for a class of automated manufacturing systems with unreliable resources using Petri nets (Q2023184) (← links)
- Inference approach based on Petri nets (Q2056355) (← links)
- A distributed method to avoid higher-order deadlocks in multi-robot systems (Q2288710) (← links)
- Petri net representation and reachability analysis of 0--1 integer linear programming problems (Q2293169) (← links)
- A multistep look-ahead deadlock avoidance policy for automated manufacturing systems (Q2314759) (← links)
- A new deadlock prevention method for a Petri net modeling the functionality of a hospital (Q2835151) (← links)