A Petri net based approach to modeling and scheduling for an FMS and a case study

In this paper, a timed-place Petri net (TPPN) model for flexible manufacturing systems (FMSs) is constructed, which contains two major submodels: the stationary transportation model; and the variable process flow model. For multiple automated guided vehicle (AGV) systems, the authors embed a simple rule and introduce a push-AGV strategy in a TPPN model to solve the collision and traffic jam problems of such vehicles. Since a firing sequence of the TPPN from the initial marking to the final marking can be seen as a schedule of the modeled FMS, by using an A/sup */ based search algorithm, namely, the limited-expansion A algorithm, an effective schedule of the part processing can be obtained. To show the promising potential of the proposed work, a prototype FMS is used as a target system for implementation. The experiment results assert that the job-shop scheduling problem can always be satisfactorily solved. >

[1]  C. V. Ramamoorthy,et al.  Performance Evaluation of Asynchronous Concurrent Systems Using Petri Nets , 1980, IEEE Transactions on Software Engineering.

[2]  Catherine Dupont-Gatelmand.  A survey of flexible manufacturing systems , 1982 .

[3]  G. Rand.  Sequencing and Scheduling: An Introduction to the Mathematics of the Job-Shop , 1982 .

[4]  Oded Maimon,et al.  Cooperation among flexible manufacturing systems , 1985, 1985 24th IEEE Conference on Decision and Control.

[5]  Jan Karel Lenstra,et al.  Sequencing and scheduling : an annotated bibliography , 1997 .

[6]  Clare D. McGillem,et al.  Task assignment and load balancing of autonomous vehicles in a flexible manufacturing system , 1987, IEEE Journal on Robotics and Automation.

[7]  Mohsen A. Jafari,et al.  Performance modelling of a flexible manufacturing cell with two workstations and a single material handling device , 1987, Proceedings. 1987 IEEE International Conference on Robotics and Automation.

[8]  K. Preston White,et al.  A recent survey of production scheduling , 1988, IEEE Trans. Syst. Man Cybern..

[9]  S. Sarin,et al.  An improved branching scheme for the branch and bound procedure of scheduling n jobs on m parallel machines to minimize total weighted flowtime , 1988 .

[10]  Michael Jeng-Ping Shaw.  Knowledge-based scheduling in flexible manufacturing systems: an integration of pattern-directed inference and heuristic search , 1988 .

[11]  Li-Chen Fu,et al.  Planning and scheduling in a flexible manufacturing system using a dynamic routing method for automated guided vehicles , 1989, Proceedings, 1989 International Conference on Robotics and Automation.

[12]  Tadao Murata,et al.  Petri nets: Properties, analysis and applications , 1989, Proc. IEEE.

[13]  Philippe Solot,et al.  A concept for planning and scheduling in an FMS , 1990 .

[14]  Edward Anderson,et al.  Two new rules to minimize tardiness in a job shop , 1990 .

[15]  Krishna R. Pattipati,et al.  Schedule generation and reconfiguration for parallel machines , 1990, IEEE Trans. Robotics Autom..

[16]  Alessandro Agnetis,et al.  Part routing in flexible assembly systems , 1990, IEEE Trans. Robotics Autom..

[17]  Krishna R. Pattipati,et al.  A Lagrangian relaxation approach to job shop scheduling problems , 1990, Proceedings., IEEE International Conference on Robotics and Automation.

[18]  D.J. Hoitomt,et al.  Scheduling jobs with simple precedence constraints on parallel machines , 1990, IEEE Control Systems Magazine.

[19]  Farzad Mahmoodi,et al.  An investigation of dynamic group scheduling heuristics in a job shop manufacturing cell , 1990 .

[20]  Bruce H. Krogh,et al.  Synthesis of feedback control logic for a class of controlled Petri nets , 1990 .

[21]  Guochun Tang.  A new branch and bound algorithm for minimizing the weighted number of tardy jobs , 1990 .

[22]  T. Sawik.  Modelling and scheduling of a Flexible Manufacturing System , 1990 .

[23]  K. Preston White,et al.  Algebraic, mathematical programming, and network models of the deterministic job-shop scheduling problem , 1991, IEEE Trans. Syst. Man Cybern..

[24]  Hsu-Pin Wang,et al.  Evaluation and dynamic allocation of AS/RS control rules: A simulation study , 1991 .

[25]  Takashi Sekiguchi,et al.  A timed Petri net and beam search based online FMS scheduling system with routing flexibility , 1991, Proceedings. 1991 IEEE International Conference on Robotics and Automation.

[26]  Frank DiCesare,et al.  Experimental study of a heuristic function for FMS scheduling , 1992 .

[27]  MengChu Zhou,et al.  A hybrid methodology for synthesis of Petri net models for manufacturing systems , 1992, IEEE Trans. Robotics Autom..

[28]  Frank DiCesare,et al.  FMS scheduling using Petri nets and heuristic search , 1992, Proceedings 1992 IEEE International Conference on Robotics and Automation.

[29]  S. Balemi,et al.  Supervisory control of a rapid thermal multiprocessor , 1993, IEEE Trans. Autom. Control..