Pages that link to "Item:Q2980390"
From MaRDI portal
The following pages link to On the Equivalence of Observation Structures for Petri Net Generators (Q2980390):
Displaying 7 items.
- Deadlock and liveness characterization for a class of generalized Petri nets (Q780961) (← links)
- Deadlock analysis and control using Petri net decomposition techniques (Q2212081) (← links)
- Editorial: Deadlock analysis and control in resource allocation systems (Q2279724) (← links)
- An improved approach for marking optimization of timed weighted marked graphs (Q2286328) (← links)
- Deadlock recovery for flexible manufacturing systems modeled with Petri nets (Q2292945) (← links)
- Decidability of opacity verification problems in labeled Petri net systems (Q2407162) (← links)
- Design of Optimal Petri Net Supervisors for Flexible Manufacturing Systems via Weighted Inhibitor Arcs (Q4575107) (← links)
