Publications of the COSMOS Research Group

1989
[19]	Structural Analysis and Synthesis of Petri Nets (José-Manuel Colom, Javier Esparza and Manuel Silva), Technical report 89-15, Departamento de Ingeniería Eléctrica e Informática, Universidad de Zaragoza, 1989. [bibtex]
1992
[18]	On the Analysis and Synthesis of Systems of Simple Sequential Processes with Resources (SSSPR) (Joaquín Ezpeleta, José-Manuel Colom and Javier Martínez), Technical report 92-30, Departamento de Ingeniería Eléctrica e Informática, Universidad de Zaragoza, 1992. [bibtex]
1995
[17]	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
[16]	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]
1999
[15]	A solution to the problem of deadlocks in concurrent systems using Petri nets and integer linear programming (Fernando Tricas and José-Manuel Colom), In Proceedings of the 11th European Simulation Symposium (ESS’99). Simulation in Industry, Erlangen-Nuremberg, Germany, October 26-28, 1999, Institution of Electrical Engineers, London, 1999. [bibtex]
2000
[14]	Structurally Safe Net Systems (Fernando García-Vallés, Fernando Tricas and Joaquín Ezpeleta), Chapter in Discrete Event Systems: Analysis and Control (R. Boel., G. Stremersch, eds.), Springer US, 2000. [bibtex] [url] [doi]
[13]	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]
[12]	New Methods for Deadlock Prevention and Avoidance in Concurrent Systems (Fernando Tricas and Fernando García-Vallés and José-Manuel Colom), In Actas de las VIII Jornadas de Concurrencia, Ediciones de la Universidad de Castilla-La Mancha, 2000. [bibtex]
2005
[11]	Using Linear Programming and the Petri Net Structure for Deadlock Prevention in Sequential Resource Allocation Systems (Fernando Tricas and Fernando García-Vallés and José-Manuel Colom), In Actas de las XIII Jornadas de Concurrencia y Sistemas Distribuidos (JCSD’2005), Thomson Paraninfo S.A., Madrid, España, 2005. [bibtex]
2010
[10]	Deadlock analysis in minimal adaptive routing algorithms using Petri Nets (Carlos A. Rovetto and Elia E. Cano), In Proceedings of the 2010 IEEE International Conference on Systems, Man and Cybernetics (SMC'10), Istanbul, Turkey, 10-13 October 2010, IEEE, 2010. [bibtex] [url] [doi]
[9]	The Resource Allocation Problem in Software Applications: A Petri Net Perspective (Juan-Pablo López-Grao and José-Manuel Colom), In Proceedings of the International Workshop on Petri Nets and Software Engineering - PNSE'10 (Michael Duvigneau, Daniel Moldt, eds.), Universität Hamburg, volume Bericht 294, 2010. [bibtex] [url]
2011
[8]	On the deadlock analysis of multithreaded control software (Juan-Pablo López-Grao and José-Manuel Colom), In IEEE 16th Conference on Emerging Technologies & Factory Automation, ETFA 2011, Toulouse, France, September 5-9, 2011 (Zoubir Mammeri, ed.), IEEE, 2011. [bibtex] [url] [doi]
2012
[7]	A Petri Net Perspective on the Resource Allocation Problem in Software Engineering (Juan-Pablo López-Grao and José-Manuel Colom), In Transactions on Petri Nets and Other Models of Concurrency, Springer, volume 5, 2012. [bibtex] [url] [doi]
[6]	Deadlock Control Software for Tow Automated Guided Vehicles using Petri Nets (Carlos A. Rovetto and Elia E. Cano), In Recent Advances in Petri Nets and Concurrency (Susanna Donatelli, Jetty Kleijn, Ricardo Jorge Machado, João M. Fernandes, eds.), CEUR-WS.org, volume 827, 2012. [bibtex] [pdf]
[5]	The Resource Allocation Problem in Software Applications: A Petri Net Perspective (Juan-Pablo López-Grao and José-Manuel Colom), In Recent Advances in Petri Nets and Concurrency (Susanna Donatelli, Jetty Kleijn, Ricardo Jorge Machado, João M. Fernandes, eds.), CEUR-WS.org, volume 827, 2012. [bibtex] [pdf]
2013
[4]	Petri net approach for deadlock prevention in robot planning (Marius Kloetzer and Cristian Mahulea), In Proceedings of 2013 IEEE 18th International Conference on Emerging Technologies & Factory Automation, ETFA 2013, Cagliari, Italy, September 10-13, 2013 (Carla Seatzu, ed.), IEEE, 2013. [bibtex] [url] [doi]
[3]	Structural Methods for the Control of Discrete Event Dynamic Systems - The Case of the Resource Allocation Problem (Juan-Pablo López-Grao and José-Manuel Colom), Chapter in Control of Discrete-Event Systems (Carla Seatzu, Manuel Silva, Jan H. van Schuppen, eds.), Springer, volume 433, 2013. [bibtex] [url] [doi]
[2]	A New Approach to Prevent Deadlock in S$^3$PR Nets with Unreplicable Resources (Asaftei Timotei), In Proceedings of the 2nd International Conference on Operations Research and Enterprise Systems (ICORES 2013), Barcelona, Spain, 16-18 February, 2013 (Begoña Vitoriano, Fernando Valente, eds.), SciTePress, 2013. [bibtex] [url] [doi]
[1]	Enforcing Liveness in S$^3$PR Nets by Specialization of Resources (Asaftei Timotei), In Proceedings of the 2nd International Conference on Operations Research and Enterprise Systems (ICORES 2013), Barcelona, Spain, 16-18 February, 2013 (Begoña Vitoriano, Fernando Valente, eds.), SciTePress, 2013. [bibtex] [url] [doi]