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

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

0.00 Avg rating0 Votes
Article ID: iaor20082648
Country: United Kingdom
Volume: 45
Issue: 15
Start Page Number: 3439
End Page Number: 3456
Publication Date: Jan 2007
Journal: International Journal of Production Research
Authors: ,
Keywords: production
Abstract:

This paper addresses the deadlock avoidance problem in track systems in semiconductor fabrication. For the system without buffer space in it, the existing deadlock avoidance policies tend to be too conservative. Routing flexibility provides a chance to develop better ones, but makes their computation more complex. This paper models a track system using coloured resource-oriented Petri net (CROPN). Based on the model, a sufficient condition for deadlock-free operation and the corresponding control law are presented. This proposed policy is shown computationally efficient and less conservative than existing methods. An example is presented to demonstrate its application.

Reviews

Required fields are marked *. Your email address will not be published.