Deadlock modeling and control of semiconductor track systems using resource-oriented Petri nets

DOI10.1080/00207540600863738zbMath1128.90315OpenAlexW2156505862MaRDI QIDQ5438675

No author found.

Publication date: 24 January 2008

Published in: International Journal of Production Research (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1080/00207540600863738

zbMATH Keywords

controlPetri netssystem modelingdeadlock avoidancetrack systems

Mathematics Subject Classification ID

Deterministic network models in operations research (90B10)

Related Items (3)

A branch and bound algorithm for optimal cyclic scheduling in a robotic cell with processing time windows ⋮ Optimal cyclic scheduling of a hoist and multi-type parts with fixed processing times ⋮ A survey of siphons in Petri nets

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: Deadlock modeling and control of semiconductor track systems using resource-oriented Petri nets