Material flow and control sequence specification of flexible production systems using coloured Petri nets

International Journal of Advanced Manufacturing Technology

Volumn 14, Issue 10, 1998, Pages 760-774

  Feldmann, K ^a   Colombo, A W ^a  

^a UNIVERSITY OF ERLANGEN NUREMBERG   (Germany)

Author keywords

Coloured Petri nets; Discrete event control systems; Flexible production systems; Modelling; Validation

Indexed keywords

COMPUTER AIDED MANUFACTURING; CONTROL SYSTEM ANALYSIS; DISCRETE TIME CONTROL SYSTEMS; JUST IN TIME PRODUCTION; MATERIALS HANDLING; MATHEMATICAL MODELS; PETRI NETS; PROCESS CONTROL; SCHEDULING;

COLORED PETRI NETS; COORDINATION CONTROL MODELS;

FLEXIBLE MANUFACTURING SYSTEMS;

EID: 0032306880     PISSN: 02683768     EISSN: None     Source Type: Journal    
DOI: 10.1007/BF01438228     Document Type: Article

References (35)

1. J. Martinez, P. Muro and M. Silva, "Modeling, validation and software implementation of production systems using high level Petri nets", Proceedings of the IEEE International Conference on Robotics and Automation, Raleigh (USA), pp. 1180-1185, 1987.
2. R. David, "Grafcet: a powerful tool for specification of logic controllers", IEEE Transactions on Control Systems Technology, 3(3), pp. 253-268, September 1995.
3. M. Fanti, B. Maione, G. Piscitelli and B. Turchiano, "System approach to design generic software for real-time control of flexible manufacturing systems", IEEE Transactions Systems Man and Cybernetics, SMC-A, 26(2), pp. 190-202, 1996.
4. K. Feldmann, "Montageplanung in CIM", in CIMMTT: CIM-Fachmann Series, Springer-Verlag, Berlin, 1992.
5. A. Naylor and M. Maletz, "Design of integrated manufacturing system control software", IEEE Transactions on Systems Man and Cybernetics, vol. SMC-17, no. 6, pp. 881-897, 1987.
6. W. Reithofer, J. Raczkowsky and E. Canuto, "HIMAC-hierarchical management and control in manufacturing systems", CIMMOD/CIMDEV meeting, Torino, Italy, pp. 1-10, 1994.
7. S. Tzafestas, "Modern manufacturing systems: an information technology perspective", in S. Tzafestas (ed.), Computer-Assisted Management and Control of Manufacturing Systems, pp. 1-56, Advanced Manufacturing Series, Springer Verlag, 1996.
8. A. W. Colombo and R. Carelli, "Petri nets for designing manufacturing systems", in S. Tzafestas (ed.), Computer-Assisted Management and Control of Manufacturing Systems, ch. 11, pp. 297-324. Advanced Manufacturing Series, Springer Verlag, 1996.
9. A. W. Colombo, R. Carelli and B. Kuchen, "A temporized Petri net approach for design, modelling and analysis of flexible production systems", International Journal of Advanced Manufacturing Technology, 13(3), pp. 214-226, Springer Verlag, London, 1997.
10. A. Desrochers and M. Suva, "Introduction to the special issue on computer integrated manufacturing", IEEE Transactions on Robotics and Automation, 10(2), pp. 85-87, 1994.
11. L. Ferrarini, "An incremental approach to logic controller design with Petri nets", IEEE Transactions on Systems Man and Cybernetics, 22(3), pp. 461-473, May/June 1992.
12. A. Giua and F. DiCesare, "Petri net structural analysis for supervisory control", IEEE Transactions on Robotics and Automation, 10(2), pp. 185-195, 1994.
13. L. Holloway, B. Krogh and A. Giua, "A survey of Petri net methods for controlled discrete event systems", Discrete Event Systems: Theory and Applications, 7(2), pp. 151-190, Kluwer, 1997.
14. J. Scheller, "Modellierung und Einsatz von Softwaresystemen für rechnergeführte Montagezellen", PhD Dissertation, Institute for Manufacturing Automation and Production Systems (FAPS), University Erlangen, (ed. K. Feldmann). Hanser Verlag München-Wien, 1991.
15. M. Silva, "Las Redes de Petri en la Automática y la Informática", Editorial AC, Madrid, 1985.
16. M. Silva and R. Valette, "Petri nets and flexible manufacturing", Advances in Petri Nets, Lecture Notes in Computer Science, 424, pp. 374-417, 1989.
17. S. Tzafestas and F. Capkovic, "Petri net-based approach to synthesis of intelligent control systems for DEDS", in S. Tzafestas (ed.), Computer-Assisted Management and Control of Manufacturing Systems, ch. 12, pp. 325-351, Advanced Manufacturing Series, Springer Verlag, 1996.
18. M. Zhou and F. DiCesare, "Petri Nets Synthesis for Discrete Event Control of Manufacturing Systems", Boston, MA, Kluwer, 1993.
19. M. Zhou, "Petri Nets in Flexible and Agile Automation", New Jersey Institute of Technology, Kluwer, 1995.
20. K. Jensen, "Coloured Petri Nets. Basic Concepts, Analysis Methods and Practical Use", vol. 1, Monographs on Theoretical Computer Sciences, Springer Verlag, 1992.
21. K. Jensen, "Coloured Petri Nets. Basic Concepts, Analysis Methods and Practical Use", Vol. 2, Springer Verlag, 1995.
22. A. W. Colombo, J. Martinez and R. Carelli, "Formal validation of complex production systems using coloured Petri nets", Proceedings of the IEEE International Conference on Robotics and Automation, pp. 1713-1718. San Diego, California, USA, 8-13 May 1994.
23. A. W. Colombo, J. Martínez and B. Kuchen, "Formal specification and validation of a static FIFO queue model using coloured Petri nets", Proceedings of the IEEE International Symposium on Industrial Electronics, pp. 231-235, Santiago, Chile, 25-27 May 1994.
24. K. Feldmann, A. W. Colombo, R. Carelli and B. Kuchen, "An approach for designing logic controller programs using coloured Petri net models", Proceedings of IFAC Latin-American Control Conference, vol.2, pp. 881-886, 1996.
25. th European Workshop on Applications and Theory of Petri Nets, Venecy, Italy, 1988.
26. E. Teruel, J. Colom and M. Silva, "Choice-free Petri nets: a model for deterministic concurrent systems with hulk services and arrivals", IEEE Transactions on Systems, Man and Cybernetics, SMC-A 27(1), pp. 73-83, 1997.
27. T. Murata, "Petri Nets: properties, analysis and applications", Proceedings of IEEE, 77(4), pp. 541-580, April 1989.
28. L. Dornhoff and F. Hohn, "Applied Modern Algebra", Macmillan, NY, 1978.
29. S. Christiansen and L. Petrucci, "Towards a modular analysis of coloured Petri nets". Internal report of Computer Science Department, Aarhus University, Denmark, 1994.
30. S. Caselli, C. Papaconstantinou, K. Doty and S. Naavthe, "A structure-function-control paradigm for knowledge-based modeling and design of manufacturing workcells", Journal of Intelligent Manufacturing, 3, pp. 11-30, Chapman & Hall, 1992.
31. G. Spur, K. Mertins, Wieneke-Toutaoui and M. Rabe, "Modellierung von Informations-und Materialflüssen für die Auslegungsplanung" (in German), ZwF 85 (1990) 1, pp. 8-13, 1990.
32. A. W. Colombo, "Modelacion y Analisis de Operacion de Sisternas Flexibles de Produccion" (Master of Science Thesis, in Spanish), in Temas de Automatica, 2 (Fund. Univ. San Juan, ed.), San Juan, Argentina, 1995.
33. J. Villarroel, "Integracion Informatica del Control en Sistermas Flexibles de Fabricacion", PhD Thesis (in Spanish), Dept. de Ingenieria Electrica e Informatica, University de Zaragoza, Spain, 1990.
34. th IMACS World Congress on Computation and Applied Mathematics, Dublin, 1991.
35. M. Silva and S. Velilla, "Programmable logic controllers and Petri nets: a comparative study", IFAC Proceedings of Software for Computer Control SOCOCO'82, Pergamon, Oxford, UK, 1982.