A Petri net approach for modelling controls of a computer-integrated assembly cell

Abstract A computer-integrated assembly cell (CIAC) plays an important role in modern manufacturing systems. To maximize cell utilization, multiple assembly jobs are often scheduled concurrently without consideration for the complex interaction between workstations. Sharing of assembly workstations among a set of concurrently flowing processes may cause deadlocks and conflicts, which are difficult to detect during programming of the cell's controller. This paper presents an overview of the control models developed for deadlock and conflict detection, and performance evaluation of manufacturing plans processed in a CIAC. Petri net formalism is used as the modelling tool for its ability to model concurrent and asynchronous activities, and for its well developed mathematical foundation for analysis and performance evaluation. The control model presented in this paper consists of modules for Petri net generation, deadlock detection, and performance evaluation. The control model may be applied to debugging con...

[1]  Tony Owen.  Assembly with Robots , 1985 .

[2]  Bruce H. Krogh,et al.  Deadlock avoidance in flexible manufacturing systems with concurrently competing process flows , 1990, IEEE Trans. Robotics Autom..

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

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

[5]  G. Harhalakis,et al.  A knowledge-based prototype of a factory level CIM system , 1989 .

[6]  Kathryn E. Stecke,et al.  Loading and control policies for a flexible manufacturing system , 1981 .

[7]  Norihisa Komoda,et al.  A Petri Net-Based Controller for Flexible and Maintainable Sequence Control and its Applications in Factory Automation , 1986, IEEE Transactions on Industrial Electronics.

[8]  C. Petri.  Kommunikation mit Automaten , 1962 .

[9]  J. T. Black,et al.  Cellular manufacturing systems modeling: The Petri net approach , 1990 .

[10]  Frits Feldbrugge,et al.  Petri net tools , 1985, Applications and Theory in Petri Nets.

[11]  František Čapkovič,et al.  A decision support algorithm for flexible manufacturing systems control , 1988 .

[12]  Michel Hack,et al.  The Recursive Equivalence of the Reachability Problem and the Liveness Problem for Petri Nets and Vector Addition Systems , 1974, SWAT.

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

[14]  Wlodzimierz M. Zuberek,et al.  Timed Petri nets and preliminary performance evaluation , 1980, ISCA '80.

[15]  Thomas O. Boucher,et al.  Petri net control of an automated manufacturing cell , 1989 .

[16]  A. Nico Habermann,et al.  Prevention of system deadlocks , 1969, CACM.

[17]  James Lyle Peterson,et al.  Petri net theory and the modeling of systems , 1981 .

[18]  Subhansu Bandyopadhyay,et al.  Representation and analysis of petrinets via the matrix state equation approach , 1988 .

[19]  James W. Havender.  Avoiding Deadlock in Multitasking Systems , 1968, IBM Syst. J..

[20]  Richard A. Wysk,et al.  An Introduction to Automated Process Planning Systems , 1984 .

[21]  Alan A. Desrochers,et al.  Performance evaluation of automated manufacturing systems using generalized stochastic Petri nets , 1990, IEEE Trans. Robotics Autom..

[22]  Edward D. Lazowska,et al.  Analyzing queueing networks with simultaneous resource possession , 1982, CACM.

[23]  Arie Shoshani,et al.  System Deadlocks , 1971, CSUR.