Abstract
In this paper we present an approach for modelling and analyzing flexible manufacturing systems (FMSs) using Petri nets. In this approach, we first build a Petri net model (PNM) of the given FMS in a bottom-up fashion and then analyze important qualitative aspects of FMS behaviour such as existence/absence of deadlocks and buffer overflows. The basis for our approach is a theorem we state and prove for computing the invariants of the union of a finite number of Petri nets when the invariants of the individual nets are known. We illustrate our approach using two typical manufacturing systems: an automated transfer line and a simple FMS.
This is a preview of subscription content, log in via an institution to check access.
Similar content being viewed by others
References
T. Agerwala, Putting Petri nets to work, IEEE Computer (December 1979) 85.
T. Agerwala and Yong-Chai choed Amphai, A synthesis rule for concurrent systems,Proc. IEEE Conf. Design Automation (1978) p. 305.
J.A. Buzacott and D.W. Yao, Flexible manufacturing systems: A review of models, Working Paper No. 82-007 (Dept. of Industrial Engineering, Univerity of Toronto, Canada, 1982).
D. Dubois and K.E. Stecke, Using Petri nets to represent production processes,Proc. IEEE Conf. Decisions and Control (December 1983) p. 1062.
M. Kamath, Modelling and simulation of flexible manufacturing systems using coloured Petri nets, M.E. Project Report (School of Automation, I.I.Sc., Bangalore, July 1984).
G. Memmi and G. Roucairol, Linear algebra in net theory, in:Net Theory and Applications, ed. W. Brauer, Lecture Notes in Computer Science 84(1980)213.
Y. Narahari and N. Viswanadham, On the invariants of coloured Petri nets,Proc. 6th European Workshop on Petri Net Theory and Applications, Espoo, Finland (June 1985) p. 277.
Y. Narahari and N. Viswanadham, A Petri net based investigation of deadlocks in automated manufacturing systems,Proc. CSI/IFIP Int. Conf. on CAD/CAM/CAE Systems, Bangalore, India (June 1985) p. 9.1.
J.L. Peterson,Petri Net Theory and the Modelling of Systems (Prentice-Hall, Englewood Cliffs, NJ, 1981).
C.V. Ramamoorthy and G.S. Ho, Performance evaluation of asynchronous concurrent systems by Petri nets, IEEE Trans. Software Engineering (September 1980) 440.
Author information
Authors and Affiliations
Rights and permissions
About this article
Cite this article
Narahari, Y., Viswanadham, N. A Petri net approach to the modelling and analysis of flexible manufacturing systems. Ann Oper Res 3, 449–472 (1985). https://doi.org/10.1007/BF02023780
Issue Date:
DOI: https://doi.org/10.1007/BF02023780