Synthesis of coloured petri nets for FMS task specification

International Journal of Robotics and Automation

Volumn 11, Issue 3, 1996, Pages 111-116

  Arjona Suarez E ^a   Lopez Mellado E ^b  

^a Inst Socioeconomia Estaduatica/I ^*  (Mexico)

^b UNIVERSIDAD AUTÓNOMA DE NUEVO LEÓN   (Mexico)

Author keywords

Activity based approach; Coloured Petri nets; Flexible manufacturing systems; Model synthesis

Indexed keywords

COMPUTER SIMULATION; CONTROL SYSTEM SYNTHESIS; DISCRETE TIME CONTROL SYSTEMS; FLEXIBLE MANUFACTURING SYSTEMS; LARGE SCALE SYSTEMS;

ACTIVITY BASED APPROACH MODELS (ABAM); COLORED PETRI NETS (CPN) SYNTHESIS;

PETRI NETS;

EID: 0030395303     PISSN: 08268185     EISSN: None     Source Type: Journal    
DOI: None     Document Type: Article

References (19)

1. K. Jensen, Coloured Petri nets and the invariant method. Theoretical Computer Science, 14 , 1981, 317-336.
2. M. Silva & R. Valette, Petri nets and flexible manufacturing. In Advances in Petri nets (Lecture Notes in Computer Science Series - Ed. G. Rozenberg), (Berlin: Springer-Verlag, 1989).
3. E. Kasturia, F. DiCesare, & A. Desrochers, Real time control of multilevel manufacturing systems using coloured Petri nets. Proc. of IEEE Int. Conf. on Robotics and Automation, Philadelphia, April 1988, 1114-1119.
4. N. Vishwanadham & Y. Narahari, Coloured Petri net models for automated manufacturing systems. Proc. of the IEEE Int. Conf. on Robotics and Automation, Raleigh, NC, April 1987, 1985-1990.
5. K.M. Van Hee, L.J. Somers, & M. Voorhoeve, Executable specifications for distributed information systems. In Eds. E.D. Falkenberg, P. Lindgreen, Information system concepts: An in-depth analysis (Amsterdam; North Holland, 1989).
6. K. Jensen, Coloured Petri nets: A high level language for system design and analysis. In Ed. G. Rozenberg, Advances in Petri nets (Lecture Notes in Computer Science), (Berlin: Springer-Verlag, 1991).
7. M. Der Jeng & F. DiCesare, A review of synthesis techniques for Petri nets. In Proc. of the IEEE 2nd Int. Conf. on Computer Integrated Manufacturing, Troy, NY, May 1990, 348-355.
8. M.-C. Zhou, F. DiCesare, & A. Desrochers, A hybrid methodology for synthesis of Petri net models for manufacturing systems. IEEE Trans, on Robotics and Automation, 8(3), 1992, 350-361.
9. G. Bruno & G. Marchetto, Process-translatable Petri nets for the rapid prototyping of process control systems. IEEE Trans. on Software Engineering, 12(2), 1986, 346-357.
10. J.L. Villarroel, J. Martínez, & M. Silva, GRAMAN: A graphic system for manufacturing system design. In Proc. of IMACS Symp. on System Modeling and Simulation, Cetraro, Italy, September 1988, 311-316.
11. A. Ramírez-Treviño & E. López-Mellado, Qualitative modelling of assembly tasks in robot cells using coloured Petri nets. Proc. of the IEEE 2nd Int. Conf. on Computer Integrated Manufacturing, Troy, NY, May 1990, 475-482.
12. A. Micovsky, L. Sesera, M. Veishab, & M. Albert, TORA: A Petri net based tool for rapid prototyping of FMS control systems. Computers in Industry, 75(4), 1990, 279-292.
13. J. Ezpeleta, Análisis y síntesis de modelos libres de bloqueos para sistemas concurrentes, doctoral diss., University of Zaragoza, Spain, 1993.
14. R.J. Paul & S.T. Chew, Simulation modelling using an interactive simulation program generator. J. of the Operational Research Society, 38(8), 1987, 735-752.
15. D.C.S. Shearn, PASSIM - A Pascal discrete event simulation program generator. Simulation, 43(7), 1990, 31-38.
16. E. Arjona-Suárez & E. López-Mellado, A computer language for the modelling of flexible manufacturing systems. In Proc. of the 13th IASTED Int. Symp. on Robotics and Manufacturing, Santa Barbara, CA, November 1990, 183-187.
17. W. Kreutzer, System simulation programming styles and languages (Menlo Park, CA: Addison-Wesley, 1986).
18. E. Arjona-Suárez, Síntesis de redes de Petri coloreadas para sistemas a eventos discretos: Aplicación al modelado de tareas en sistemas de manufactura, doctoral diss., CINVESTAV-IPN, México, Mex. 1991.
19. J.M. Colom, J. Esparza, J. Martinez, & M. Silva, DEMON: Design methods based on nets, Esprit Basic Research Action 3148, University of Zaragoza, Spain, June 1990.