Publications of the COSMOS Research Group

1986
[19]	Packages for validating discrete production systems modeled with Petri nets (José-Manuel Colom, Javier Martínez and Manuel Silva), In Proceedings of the IMACS-IFAC Symposium on Modelling and Simulation for Control of Lumped and Distributed Parameter Systems, 1986. [bibtex]
1987
[18]	Packages for validating discrete production systems modeled with Petri nets (José-Manuel Colom, Javier Martínez and Manuel Silva), Chapter in Applied Modelling and Simulation of Technological Systems (P. Borne, S.G. Tzafestas, eds.), Elsevier Science Publishers B.V. (North-Holland), 1987. [bibtex]
1990
[17]	Performance evaluation of repetitive automated manufacturing systems (Javier Campos, José-Manuel Colom and Manuel Silva), In Proceedings of the IEEE Rensselaer's Second International Conference on Computer Integrated Manufacturing, IEEE Computer Society Press, 1990. [bibtex] [doi]
[16]	A first collection of challenging problems: A flexible manufacturing system (José-Manuel Colom, Javier Esparza, Javier Martínez and Manuel Silva), In Proceedings of Design Methods Based on Nets (DEMON). Esprit Basic Research Action 3148. W.G. 6: Case Studies. Deliverables Covering the Period June 1989 to June 1990, 1990. [bibtex]
1993
[15]	A Petri net based deadlock prevention policy for flexible manufacturing systems (Joaquín Ezpeleta, José-Manuel Colom and Javier Martínez), In Actas de las III Jornadas de Concurrencia, 1993. [bibtex]
[14]	Synthesis of live high level models for a class of FMS (Joaquín Ezpeleta and Javier Martínez), In Proceedings of the 1993, IEEE International Conference on Systems, Man and Cybernetics. Systems Engineering in the Service of Humans (IEEE/SMC'93), IEEE Computer Society Press, volume 1, 1993. [bibtex] [doi]
1995
[13]	A Petri net based deadlock prevention policy for flexible manufacturing systems (Joaquín Ezpeleta and José-Manuel Colom), In IEEE Transactions on Robotics and Automation, volume 11, 1995. [bibtex] [url] [doi]
1998
[12]	A Class of Well Structured Petri Nets for Flexible Manufacturing Systems (Joaquín Ezpeleta and Fernando García-Vallés and José-Manuel Colom), Chapter in Application and Theory of Petri Nets 1998, 19th International Conference, ICATPN '98, Lisbon, Portugal, June 22-26, 1998, Proceedings (Jörg Desel, Manuel Silva, eds.), Springer, volume 1420, 1998. [bibtex] [url] [doi]
2000
[11]	Comments on "Deadlock avoidance policy for Petri net modeling of flexible manufacturing systems with shared resources (Fernando García-Vallés and José-Manuel Colom), In IEEE Transactions on Automatic Control, volume 45, 2000. [bibtex] [url] [doi]
[10]	An Iterative Method for Deadlock Prevention in FMS (Fernando Tricas, F. García-Vallés and José-Manuel Colom), Chapter in Discrete Event Systems: Analysis and Control (Boel, R., Stremersch, G., eds.), Springer US, 2000. [bibtex] [url] [doi]
2002
[9]	A Banker's solution for deadlock avoidance in FMS with flexible routing and multiresource states (Joaquín Ezpeleta, Fernando Tricas and Fernando García-Vallés and José-Manuel Colom), In IEEE Transactions on Robotics and Automation, volume 18, 2002. [bibtex] [url] [doi]
2003
[8]	The Resource Allocation Problem in Flexible Manufacturing Systems (), Chapter in Applications and Theory of Petri Nets 2003, 24th International Conference, ICATPN 2003, Eindhoven, The Netherlands, June 23-27, 2003, Proceedings (Wil M. P. van der Aalst, Eike Best, eds.), Springer, volume 2679, 2003. [bibtex] [url] [doi]
2011
[7]	Communication types for manufacturing systems. A proposal to distributed control system based on IEC 61499 (Carlos Catalán, Félix Serna, Alfonso Blesa and Josep-María Rams), In 7th Annual IEEE Conference on Automation Science and Engineering, CASE 2011, Trieste, Italy, Aug. 24-27, 2011, IEEE, 2011. [bibtex] [url] [doi]
[6]	COSME: A distributed control platform for communicating machine tools in Agile Manufacturing Systems (Carlos Catalán, Félix Serna, Alfonso Blesa and José-Manuel Colom), In IEEE 16th International Conference on Emerging Technologies & Factory Automation, ETFA 2011, Toulouse, France, September 5-9, 2011 (Zoubir Mammeri, ed.), IEEE, 2011. [bibtex] [url] [doi]
[5]	Control software design for a cutting glass machine tool based on the COSME platform. Case study (Félix Serna, Carlos Catalán, Alfonso Blesa and Josep-María Rams), In 7th Annual IEEE Conference on Automation Science and Engineering, CASE 2011, Trieste, Italy, Aug. 24-27, 2011, IEEE, 2011. [bibtex] [url] [doi]
[4]	"Predictive maintenance surveyor" design pattern for machine tools control software applications (Félix Serna, Carlos Catalán, Alfonso Blesa and José-Manuel Colom), In IEEE 16th International Conference on Emerging Technologies & Factory Automation, ETFA 2011, Toulouse, France, September 5-9, 2011 (Zoubir Mammeri, ed.), IEEE, 2011. [bibtex] [url] [doi]
[3]	Preventive Maintenance Manager design pattern for component based machine tools (Félix Serna and Carlos Catalán and Alfonso Blesa and Josep-María Rams), In 2011 9th IEEE International Conference on Industrial Informatics (INDIN’2011), 2011. [bibtex] [url] [doi]
2014
[2]	The deadlock problem in the control of Flexible Manufacturing Systems: An overview of the Petri net approach (Juan-Pablo López-Grao and José-Manuel Colom and Fernando Tricas), In Proceedings of the 2014 IEEE Emerging Technology and Factory Automation, ETFA 2014, Barcelona, Spain, September 16-19, 2014 (Antoni Grau, Herminio Martínez, eds.), IEEE, 2014. [bibtex] [url] [doi]
2016
[1]	Chapter 7 - Structural deadlock prevention policies for Flexible Manufacturing Systems. A Petri net outlook (Juan-Pablo López-Grao, José-Manuel Colom and Fernando Tricas), Chapter in Formal Methods in Manufacturing (Javier Campos, Carla Seatzu, Xiaolan Xie, eds.), CRC Press/Taylor and Francis Group, 2016. [bibtex] [url] [doi]