Pages that link to "Item:Q1295161"
From MaRDI portal
The following pages link to Analysis of deadlock and circular waits using a matrix model for flexible manufacturing systems (Q1295161):
Displaying 11 items.
- Erratum to ``Liveness of an extended S\(^{3}\)PR '' [Automatica 46 (2010) 1008-1018] (Q445936) (← links)
- Comments on ``Liveness of an extended \(\operatorname{S}^3 \operatorname{PR}\)'', [automatica 46 (2010) 1008-1018] (Q466321) (← links)
- Deadlock and liveness characterization for a class of generalized Petri nets (Q780961) (← links)
- Liveness of an extended S\(^{3}\)PR (Q976266) (← links)
- A modular control design method for a flexible manufacturing cell including error handling (Q1028667) (← links)
- Deadlock-free dynamic resource assignment in multi-robot systems with multiple missions: application in wireless sensor networks (Q3016531) (← links)
- Requests network model for deadlock detection and avoidance in automated manufacturing systems (Q4671286) (← links)
- Deadlock avoidance for manufacturing multipart re-entrant flow lines using a matrix-based discrete event controller (Q4707449) (← links)
- Necessary and sufficient liveness condition of GS<sup>3</sup>PR Petri nets (Q5252903) (← links)
- Scheduling a wet station for wafer cleaning with multiple job flows and multiple wafer-handling robots (Q5438627) (← links)
- Hybrid Petri net and digraph approach for deadlock prevention in automated manufacturing systems (Q5712038) (← links)
