Paper Info
Title
A Generalized Stochastic Petri Net Model For Performance Analysis And Control Of Capacitated Reentrant Lines
Abstract
The basic definition of the re-entrant line, which constitutes the typical abstraction for the formal modelling and analysis of the fab scheduling problem, considers only the job contest for the finite processing capacity of the system worksta- tions, ignoring completely the eects and complications arising from additional operational issues like the finite buering capac- ity of the system workstations / production units. Yet, as the semiconductor industry moves to more extensively automated operational modes, the explicit characterization and control of these additional operational features is of paramount importance for the robust and stable operation of the entire system. More- over, the operational policies developed to control these logical aspects of the system behavior introduce additional constraints to the fab scheduling problem, that complicate it even further and, more importantly, invalidate prior characterizations of its optimal solutions. Motivated by these remarks, the work pre- sented in this paper develops a novel analytical framework for the modelling, analysis and control of capacitated, flexibly auto- mated re-entrant lines, based on the class of Generalized Stochas- tic Petri nets (GSPN's). The proposed framework (i) allows the seamless integration of the logical/structural and the timed- based aspects of the system behavior, (ii) provides an analytical formulation for the underlying scheduling problem, and (iii) leads to an interesting qualitative characterization of the structure of the optimal scheduling policy. Hence, it provides the analytical basis for addressing the re-entrant line scheduling problem in its contemporary, more complex operational context, and it consti- tutes the starting point for the development of new scheduling tools and policies for it.
Year
DOI
Venue
2003
10.1109/TRA.2003.810577
IEEE TRANSACTIONS ON ROBOTICS AND AUTOMATION
Keywords
Field
DocType
capacitated reentrant lines, performance modeling and control, scheduling, timed Petri nets
Mathematical optimization,Petri net,Job shop scheduling,Fair-share scheduling,Scheduling (computing),Computer science,Real-time computing,Control engineering,Two-level scheduling,Stochastic Petri net,Rate-monotonic scheduling,Dynamic priority scheduling
Journal
Volume
Issue
ISSN
19
3
1042-296X
Citations 
PageRank 
References 
12
0.97
10
Authors
2
Name
Order
Citations
PageRank
Jin-young Choi160650.44
Spyros A. Reveliotis214018.02