Abstract
This paper deals with the definition of a general approach to the modeling and control specification of flexible manufacturing systems (FMS). The development and the analysis of complex FMS models can greatly benefit from the automatic synthesis of the complete models and the availability of a graphic tool to describe them in a concise way. The automatic synthesis helps the designer to succeed in the error-prone task of building complex Petri net models or sequential functional charts, while the graphic representation makes it easier to understand them. The paper puts together a trace-based formal specification method and a compositional Petri nets approach with predefined building blocks, leading to a unified framework whose goal is to cope with the complexity of the FMSs behaviors and constraints. The problem of logic controller specification is also considered introducing in the behavior description the interaction with the environment via input and output signals.
This is a preview of subscription content, log in via an institution to check access.
Similar content being viewed by others
References
Ajmone-Marsan, M., Balbo, G., Conte, G., Donatelli, S. and Franceschinis, G. (1995) Modelling with Generalized Stochastic Petri Nets, Wiley, New York.
Al-Jaar, R. and Desrochers, A. (1990) Performance evaluation of automated manufacturing systems using generalized stochastic Petri nets. IEEE Transactions on Robotics and Automation, 6(6), 621–639.
Bourey, J. (1988) Structuration de la partie procedurale du systeme de commande de cellules de production flexibles dans l'industrie manufacturiere, Ph.D. thesis, Universitdes Sciences et Techniques de Lille Flandres Artois (Lille), France.
David, R. (1995) Grafcet: A powerful tool for specification of logic controllers. IEEE Transactions on Control System Technology, 3(3), 253–268.
Ezpeleta, J. and Colom, J. (1997) Automatic synthesis of coloured Petri nets for the control of FMS. IEEE Transactions on Robotics and Automation, 13(3), 327–337.
Hoare, C. (1985) Communicating Sequential Processes, Prentice-Hall, Englewood Cliffs, NJ.
Jeng, M. D. and DiCesare, F. (1993) A review of synthesis techniques for Petri nets with application to automated manufacturing systems. IEEE Transactions on Systems, Man, and Cybernetics, 23(1), 301–312.
Koh, I. and DiCesare, F. (1991) Modular transformation methods for generalized Petri nets and their application to automated manufacturing systems. IEEE Transactions on Systems, Man, and Cybernetics, 21(6), 1512–1522.
Mazzeo, A., Mazzocca, N., Russo, S., Savy, C. and Vittorini, V. (1998) Formal specification of concurrent systems: a structured approach. The Computer Journal, 41(3), 145–162.
Murata, T. (1989) Petri nets: properties, analysis and applications. Proceedings of IEEE, 77(4), 541–580.
Proth, J., Wang, L. and Xie, X. (1997) A class of Petri nets for manufacturing system integration. IEEE Transactions on Robotics and Automation, 13(3), 317–326.
Proth, J. and Xie, X. (1996) Petri Nets: A Tool for Design and Management of Manufacturing Systems, John Wiley & Sons.
Seliger, G., Wieneke-Toutaoui, B. and Rabe, M. (1987) Integrated modelling of manufacturing systems for planning purposes. The Winter Annual Meeting of the American Society of Mechanical Engineers (Boston, USA), pp. 405–416.
Suzuki, I. and Murata, T. (1983) A method for stepwise refinement and abstraction of Petri nets. Journal of Computer and System Sciences, 27, 51–76.
Villaroel, J. L., Martinez, J. and Silva, M. (1989) GRAMAN: A graphic system for manufacturing system design, in IMACS Symposium on Systems Modelling and Simulation, S. Tzafestas (ed.) et al. (ed.), Elsevier Science, pp. 311–316.
Zhou, M., DiCesare, F. and Desrochers, A. (1989) A top-down modular approach to synthesis of Petri net models for manufacturing systems. Proceedings of the IEEE Robotics and Automation Conference, pp. 534–539.
Zhou, M., DiCesare, F. and Rudolph, D. (1992) Design and implementation of a Petri net based supervisor for a flexible manufacturing system. Automatica, 28(6), 1199–1208.
Zhou, M. and DiCesare, F. (1992) A hybrid methodology for synthesis of Petri net models for manufacturing systems. IEEE Transactions on Robotics and Automation, 8(3), 350–361.
Zhou, M. and DiCesare, F. (1993) Petri Net Synthesis for Discrete Event Control of Manufacturing Systems, Kluwer.
Zimmermann, A., Bode, S. and Hommel, G. (1996) Performance and dependability evaluation of manufacturing systems using Petri nets, in 1st Workshop on Manufacturing and Petri Nets, Silva, M., Valette, R. and Takahashi, K. (eds.), pp. 235–250.
Author information
Authors and Affiliations
Rights and permissions
About this article
Cite this article
Basile, F., Chiacchio, P., Vittorini, V. et al. Modeling and logic controller specification of flexible manufacturing systems using behavioral traces and Petri net building blocks. Journal of Intelligent Manufacturing 15, 351–371 (2004). https://doi.org/10.1023/B:JIMS.0000026573.94990.d5
Issue Date:
DOI: https://doi.org/10.1023/B:JIMS.0000026573.94990.d5