Modeling and logic controller specification of flexible manufacturing systems using behavioral traces and Petri net building blocks

Journal of Intelligent Manufacturing

Volumn 15, Issue 3, 2004, Pages 351-371

  Basile, Francesco ^a   Chiacchio, Pasquale ^b   Vittorini, Valeria ^b   Mazzocca, Nicola ^c  

^a UNIVERSITY OF SALERNO   (Italy)

^b UNIVERSITY OF NAPLES FEDERICO II   (Italy)

^c SECOND UNIVERSITY OF NAPLES   (Italy)

Author keywords

Automatic synthesis of models; Discrete event systems; Flexible manufacturing systems; Logic controller specification; Petri nets; Sequential functional chart

Indexed keywords

AUTOMATION; COMPUTER AIDED MANUFACTURING; CONSTRAINT THEORY; FORMAL LOGIC; MATHEMATICAL MODELS; PETRI NETS;

AUTOMATIC SYNTHESIS OF MODELS; DISCRETE EVENT SYSTEMS; DISCRETE STATE SPACE; LOGIC CONTROLLER SPECIFICATION;

FLEXIBLE MANUFACTURING SYSTEMS;

EID: 3543106765     PISSN: 09565515     EISSN: None     Source Type: Journal    
DOI: 10.1023/B:JIMS.0000026573.94990.d5     Document Type: Article

References (20)

1. Ajmone-Marsan, M., Balbo, G., Conte, G., Donatelli, S. and Franceschinis, G. (1995) Modelling with Generalized Stochastic Petri Nets, Wiley, New York.
2. 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.
3. Bourey, J. (1988) Structuration de la partie procedurale du systeme de commande de cellules de production flexibles dans l'industrie manufacturiere, Ph.D. thesis, Universid́es Sciences et Techniques de Lille Flandres Artois (Lille), France.
4. David, R. (1995) Grafcet: A powerful tool for specification of logic controllers. IEEE Transactions on Control System Technology, 3(3), 253-268.
5. 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.
6. Hoare, C. (1985) Communicating Sequential Processes, Prentice-Hall, Englewood Cliffs, NJ.
7. 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.
8. Kph, 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.
9. 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.
10. Murata, T. (1989) Petri nets: properties, analysis and applications. Proceedings of IEEE, 77(4), 541-580.
11. 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.
12. Proth, J. and Xie, X. (1996) Petri Nets: A Tool for Design and Management of Manufacturing Systems, John Wiley & Sons.
13. 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.
14. 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.
15. 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.
16. 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.
17. 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.
18. Zhou, M. and DiCesare, F. (1992) A hybrid methodology for synthesis of Petri net models for manufacturing Systems. IEEE Transactins on Robotics and Automation, 8(3), 350-361.
19. Zhou, M. and DiCesare, F. (1993) Petri Net Synthesis for Discrete Event Control of Manufacturing Systems, Kluwer.
20. 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.