The following pages link to (Q4332375):
Displaying 12 items.
- Algebraic method of determining nonexistence of deadlock markings in Petri nets (Q1185651) (← links)
- Editorial: Deadlock analysis and control in resource allocation systems (Q2279724) (← links)
- Complexity of the deadlock problem for Petri nets modeling resource allocation systems (Q2279727) (← links)
- Matrix approach to deadlock-free dispatching in multi-class finite buffer flowlines (Q2730287) (← links)
- (Q3169457) (← links)
- (Q3377337) (← links)
- Enumeration of reachable (forbidden, live and deadlock) states of<i>k</i>th order system of Petri nets (Q3465820) (← links)
- (Q4390796) (← links)
- (Q4436096) (← links)
- Parameterized Petri nets and their application to planning and coordination in intelligent systems (Q5365723) (← links)
- Lectures on Concurrency and Petri Nets (Q5712291) (← links)
- A Class of Well Structured Petri Nets for Flexible Manufacturing Systems (Q6487387) (← links)