On using abstract models for analysis of flexible manufacturing systems

Abstract The modelling and analysis of Flexible Manufacturing Systems (FMS) has been approached through a variety of methodologies, which diverge considerably in their ability to represent and analyse complex FMS features. This paper broadly classifies the chief approaches, and evaluates them against certain prescriptions. Petri Nets and their extensions score highly on the evaluation criteria. A modelling approach is presented based on Conditional Predicate/Transition Nets (CPrTN), which extend the modelling power of Predicate/Transition Nets. CPrTN provide formal, concise and graphical models, eminently suited for modelling the often complex dynamic interactions in an FMS.

[1]  Geoffrey Gordon,et al.  System Simulation , 1970 .

[2]  K. Mani Chandy,et al.  Open, Closed, and Mixed Networks of Queues with Different Classes of Customers , 1975, JACM.

[3]  Manuel Silva,et al.  A Simple and Fast Algorithm to Obtain All Invariants of a Generalized Petri Net , 1980, Selected Papers from the First and the Second European Workshop on Application and Theory of Petri Nets.

[4]  Kurt Jensen,et al.  Coloured Petri Nets and the Invariant-Method , 1981, Theor. Comput. Sci..

[5]  Kurt Lautenbach,et al.  System Modelling with High-Level Petri Nets , 1981, Theor. Comput. Sci..

[6]  Didier Dubois,et al.  Using Petri nets to represent production processes , 1983, The 22nd IEEE Conference on Decision and Control.

[7]  Rajan Suri,et al.  Modelling flexible manufacturing systems using mean-value analysis , 1984 .

[8]  Kathryn E. Stecke,et al.  The Optimality of Unbalancing Both Workloads and Machine Group Sizes in Closed Queueing Networks of Multiserver Queues , 1985, Oper. Res..

[9]  Rajan Suri,et al.  A technique for on-line sensitivity analysis of flexible manufacturing systems , 1985 .

[10]  Rajan Suri,et al.  An overview of evaluative models for flexible manufacturing systems , 1985 .

[11]  Yadati Narahari,et al.  A Petri net approach to the modelling and analysis of flexible manufacturing systems , 1985 .

[12]  Y. C. Ho,et al.  A survey of the perturbation analysis of discrete event dynamic systems , 1985 .

[13]  Thomas J. Schriber.  A GPSS/H model for a hypothetical flexible manufacturing system , 1985 .

[14]  Kathryn E. Stecke,et al.  A Hierarchical approach to solving machine grouping and loading problems of flexible manufacturing systems , 1986 .

[15]  Kathryn E. Stecke,et al.  A Branch and Bound Approach for Machine Load Balancing in Flexible Manufacturing Systems , 1986 .

[16]  J. A. Buzacott,et al.  Flexible manufacturing systems: a review of analytical models , 1986 .

[17]  Jack P. C. Kleijnen,et al.  Experimental design and regression analysis in simulation : An FMS case study , 1988 .

[18]  Jean-Claude Gentina,et al.  Coloured adaptive structured Petri-net: A tool for the automatic synthesis of hierarchical control of Flexible Manufacturing Systems (F.M.S.) , 1987, Proceedings. 1987 IEEE International Conference on Robotics and Automation.

[19]  Robert P. Davis,et al.  Markovian modelling of manufacturing systems , 1987 .

[20]  Rami R. Razouk,et al.  Interactive State-Space Analysis of Concurrent Systems , 1987, IEEE Transactions on Software Engineering.

[21]  Mary K. Vernon,et al.  A Generalized Timed Petri Net Model for Performance Analysis , 1985, IEEE Transactions on Software Engineering.

[22]  Nalin Kulatilaka,et al.  Valuing the flexibility of flexible manufacturing systems , 1988 .

[23]  Miryam Barad,et al.  Flexibility in manufacturing systems: definitions and Petri net modelling , 1988 .

[24]  J. C. Gentina,et al.  Coloured adaptive structured petri-net a tool for the automatic synthesis of hierarchical control of flexible manufacturing systems , 1988 .

[25]  D. Gupta,et al.  Performance modelling and evaluation of flexible manufacturing systems using a semi-Markov approach , 1989 .

[26]  Stanley B. Gershwin,et al.  Hierarchical flow control: a framework for scheduling and planning discrete events in manufacturing systems , 1989, Proc. IEEE.

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

[28]  P. H. Algoet,et al.  Flow balance equations for the steady-state distribution of a flexible manufacturing system , 1989 .

[29]  Kimon P. Valavanis.  On the hierarchical modeling analysis and simulation of flexible manufacturing systems with extended Petri nets , 1990, IEEE Trans. Syst. Man Cybern..

[30]  Jean-Marie Proth,et al.  Mathematical Tools in Production Management , 1990 .

[31]  T. T. Narendran,et al.  Modelling automated manufacturing systems using a modification of coloured petri nets , 1992 .

[32]  T. T. Narendran,et al.  State space approach to qualitative analysis of FMSs , 1993 .