Publications of the COSMOS Research Group
1985
[41]Análisis de programas concurrentes mediante Redes de Petri (, and ), In Actas del VI Congreso de Automática e Informática de la AEIA, . [bibtex]
1990
[40]A first collection of challenging problems: A flexible manufacturing system (, , and ), 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, . [bibtex]
1991
[39]Petri net Based Modelling, Analysis and Simulation of Pipelined Architectures ( and ), In Proceedings of the P.D. COM'91 IMACS-IFAC International Symposium on Parallel and Distributed Computing in Engineering Systems, . [bibtex]
[38]Petri Net Based Analysis of VHDL Programs (), In Proceedings of the Second European Conference on VHDL Methods (EURO-VHDL'91), . [bibtex]
[37]Petri Net Based Analysis of VHDL Programs (), In Actas de la Segunda Reunión sobre Paralelismo, . [bibtex]
1992
[36]Petri net Based Modelling, Analysis and Simulation of Pipelined Architectures (, and ), Chapter in Parallel and Distributed Computing in Engineering Systems (P. Tzafestas et alt., ed.), North-Holland, Elsevier Science Publishers B.V., . [bibtex]
[35]Liveness, Schedulers and Petri Nets. Application to the Detection of Ada Tasking Deadlocks (, and ), Technical report 92-12, Departamento de Ingeniería Eléctrica e Informática, Universidad de Zaragoza, . [bibtex]
1993
[34] A Petri Net Approach for the Analysis of VHDL Descriptions (), Chapter in Correct Hardware Design and Verification Methods, IFIP WG 10.5 Advanced Research Working Conference, CHARME'93, Arles, France, May 24-26, 1993, Proceedings (George J. Milne, Laurence Pierre, eds.), Springer, volume 683, . [bibtex] [url] [doi]
[33] Analysis tools applied to VHDL (), In Microprocessing and Microprogramming, volume 38, . [bibtex] [url] [doi]
[32] Toward a formal semantics of IEEE Std. VHDL 1076 (), In Proceedings of the European Design Automation Conference 1993, EURO-DAC'93 with EURO-VHDL'93, Hamburg, Germany, September 20-24, 1993, IEEE Computer Society Press, . [bibtex] [url] [doi]
[31] Petri Nets applied to the modelling and analysis of computer architecture problems (), In Microprocessing and Microprogramming, volume 38, . [bibtex] [url] [doi]
[30]Modelling and Analysis of Deterministic Concurrent Systems with Bulk Services and Arrivals (, and ), Chapter in Decentralized and Distributed Systems, Proceedings of the IFIP WG10.3 International Conference on Decentralized and Distributed Systems, Palma de Mallorca, Spain, 13-17 September 1993 (Michel Cosnard, Ramón Puigjaner, eds.), North-Holland, volume A-39, . [bibtex]
[29]Modelling and Analysis of Deterministic Concurrent Systems with Bulk Services and Arrivals (, and ), In Proceedings of the International Conference on Decentralized and Distributed Systems, ICDDS'93, Palma de Mallorca, Spain, September 13-17, 1993, . [bibtex]
[28]VCPN - A description language of Coloured Petri Nets obtained from a VHDL description (, and ), Technical report, Departamento de Ingeniería Eléctrica e Informática, Universidad de Zaragoza, . [bibtex]
[27]A Review of the Report: A Formal Semantics of VHDL (), Technical report, Departamento de Ingeniería Eléctrica e Informática, Universidad de Zaragoza, . [bibtex]
[26]A Petri net based deadlock prevention policy for flexible manufacturing systems (, and ), In Actas de las III Jornadas de Concurrencia, . [bibtex]
[25]Synthesis of live high level models for a class of FMS (), 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, . [bibtex] [doi]
[24]A Framework for Automated Static Analysis of VHDL (), In Procs of the First Asian Pacific Conference on Hardware Description Languages, Standards and Applications (APCHDLSA'93), . [bibtex]
1994
[23]VCPN - A description language of Coloured Petri Nets obtained from an elaborated VHDL description (, , , and ), Technical report, Departamento de Ingeniería Eléctrica e Informática, Universidad de Zaragoza, . [bibtex]
[22]Translating VHDL into Coloured Petri Nets (, , , , and ), Technical report, Departamento de Ingeniería Eléctrica e Informática, Universidad de Zaragoza, . [bibtex]
1995
[21] A Colored Petri Net Model of VHDL (), In Formal Methods in System Design, volume 7, . [bibtex] [url] [doi]
1997
[20] Automatic synthesis of colored Petri nets for the control of FMS (), In IEEE Transactions on Robotics and Automation, volume 13, . [bibtex] [url] [doi]
[19] Structural Analysis of Signal Transition Graphs (), In Proceedings of the Workshop Petri Nets in System Engineering (PNSE’97). Modelling, Verification and Validation. Hamburg, Germany, September 25-26, 1997, University of Hamburg, Informatik, Bericht No. 205, volume 4, . [bibtex] [url] [doi]
2003
[18] 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, . [bibtex] [url] [doi]
[17]Structural Analysis of Signal Transition Graphs based on Linear Algebraic Techniques ( and ), Chapter in Petri Net Approaches for Modelling and Validation (Wil van der Aalst, José-Manuel Colom, Fabrice Kordon, Gabriela Kotsis, Daniel Moldt, eds.), Lincom Pub. Co., volume 1, . [bibtex]
2006
[16] Synthesis of asynchronous controllers using integer linear programming (, and ), In IEEE Transactions on CAD of Integrated Circuits and Systems, volume 25, . [bibtex] [url] [doi]
[15] Lender processes competing for shared resources: Beyond the S$^4$PR paradigm (), In Proceedings of the 2006 IEEE International Conference on Systems, Man and Cybernetics (SMC'06), Taipei, Taiwan, October 8-11, 2006, IEEE, . [bibtex] [url] [doi]
2010
[14] Deadlock analysis in minimal adaptive routing algorithms using Petri Nets ( and ), In Proceedings of the 2010 IEEE International Conference on Systems, Man and Cybernetics (SMC'10), Istanbul, Turkey, 10-13 October 2010, IEEE, . [bibtex] [url] [doi]
2011
[13] On the deadlock analysis of multithreaded control software (), In IEEE 16th Conference on Emerging Technologies & Factory Automation, ETFA 2011, Toulouse, France, September 5-9, 2011 (Zoubir Mammeri, ed.), IEEE, . [bibtex] [url] [doi]
2012
[12] Modular Petri net modeling of the Spanish health system ( and ), In Proceedings of 2012 IEEE 17th International Conference on Emerging Technologies & Factory Automation, ETFA 2012, Krakow, Poland, September 17-21, 2012, IEEE, . [bibtex] [url] [doi]
[11] Deadlock Control Software for Tow Automated Guided Vehicles using Petri Nets ( and ), 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, . [bibtex] [pdf]
2013
[10] Petri net approach for deadlock prevention in robot planning ( and ), 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, . [bibtex] [url] [doi]
2014
[9] Construction of Data Streams Applications from Functional, Non-Functional and Resource Requirements for Electric Vehicle Aggregators. The COSMOS Vision (, , , and ), In Proceedings of the International Workshop on Petri Nets and Software Engineering (PNSE'14), Tunis, Tunisia, June 23-24, 2014. (Daniel Moldt, Heiko Rölke, eds.), CEUR-WS.org, volume 1160, . [bibtex] [pdf]
[8] A model-based approach for the specification and verification of clinical guidelines (, , and ), 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, . [bibtex] [url] [doi]
[7] Towards Petri Net-Based Economical Analysis for Streaming Applications Executed Over Cloud Infrastructures (), Chapter in Economics of Grids, Clouds, Systems, and Services - 11th International Conference, GECON 2014, Cardiff, UK, September 16-18, 2014. Revised Selected Papers. (Jörn Altmann, Kurt Vanmechelen, Omer F. Rana, eds.), Springer, volume 8914, . [bibtex] [url] [doi]
[6]Petri nets with resources for modeling primary healthcare systems ( and ), In 2014 18th International Conference on System Theory, Control and Computing (ICSTCC), Sinaia, Romania, October 17-19, 2014, IEEE, . [bibtex] [doi]
2015
[5] A Specification Language for Performance and Economical Analysis of Short Term Data Intensive Energy Management Services ( and ), Chapter in Economics of Grids, Clouds, Systems, and Services - 12th International Conference, GECON 2015, Cluj-Napoca, Romania, September 15-17, 2015, Revised Selected Papers (Jörn Altmann, Gheorghe Cosmin Silaghi, Omer F. Rana, eds.), Springer, volume 9512, . [bibtex] [url] [doi]
2016
[4] Distributed Simulation of Complex and Scalable Systems: From Models to the Cloud (, and ), Chapter in Economics of Grids, Clouds, Systems, and Services - 13th International Conference, GECON 2016, Athens, Greece, September 20-22, 2016, Revised Selected Papers (José-Ángel Bañares, Konstantinos Tserpes, Jörn Altmann, eds.), Springer, volume 10382, . [bibtex] [url] [doi]
2017
[3] Towards the Scientific Cloud Workflow Architecture (, , and ), In 5th International Workshop on ADVANCEs in ICT Infrastructures and Services (ADVANCE 2017), Evry, Ile de France, France, January 17-18, 2017, . [bibtex] [pdf]
2018
[2] Model-driven development of data intensive applications over cloud resources (), In Future Generation Computer Systems, volume 87, . [bibtex] [url] [doi]
[1] Modular Petri net modeling of healthcare systems (, , and ), In Flexible Services and Manufacturing Journal, volume 30, . [bibtex] [url] [doi]
Powered by bibtexbrowser