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

Document Type

Article

Publication Date

8-1-2007

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.

Identifier

34250222467 (Scopus)

Publication Title

International Journal of Production Research

External Full Text Location

https://doi.org/10.1080/00207540600863738

e-ISSN

1366588X

ISSN

00207543

First Page

3439

Last Page

3456

Issue

15

Volume

45

Grant

60228004

Fund Ref

National Natural Science Foundation of China

This document is currently not available here.

Share

COinS