Real-time deadlock-free scheduling for semiconductor track systems based on colored timed Petri nets

DOI10.1007/s00291-006-0046-3zbMath1179.90165OpenAlexW1991285119MaRDI QIDQ2642306

NaiQi Wu, Meng Chu Zhou

Publication date: 20 August 2007

Published in: OR Spectrum (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s00291-006-0046-3

zbMATH Keywords

DeadlockAutomated manufacturing systemsColored-timed resource-oriented Petri netDeadlock-free scheduling

Mathematics Subject Classification ID

Deterministic scheduling theory in operations research (90B35)

Related Items (2)

Cyclic robot scheduling for 3D printer-based flexible assembly systems ⋮ Cycle time analysis of dual-arm cluster tools for wafer fabrication processes with multiple wafer revisiting times

Cites Work

• Unnamed Item
• An efficient real-time deadlock-free control algorithm for automated manufacturing systems
• Polynomial-complexity deadlock avoidance policies for sequential resource allocation systems
• Deadlock avoidance policy for Petri-net modeling of flexible manufacturing systems with shared resources

This page was built for publication: Real-time deadlock-free scheduling for semiconductor track systems based on colored timed Petri nets