Publications of the COSMOS Research Group
1986
[93]Packages for validating discrete production systems modeled with Petri nets (, and ), In Proceedings of the IMACS-IFAC Symposium on Modelling and Simulation for Control of Lumped and Distributed Parameter Systems, . [bibtex]
1987
[92]Packages for validating discrete production systems modeled with Petri nets (, and ), Chapter in Applied Modelling and Simulation of Technological Systems (P. Borne, S.G. Tzafestas, eds.), Elsevier Science Publishers B.V. (North-Holland), . [bibtex]
[91]On the structural computation of synchronic invariants in P/T nets (), In Proceedings of the Eighth European Workshop on Application and Theory of Petri Nets, . [bibtex]
1988
[90] On the Computation of Structural Synchronic Invariants in P/T Nets (), Chapter in Advances in Petri Nets 1988, covers the 8th European Workshop on Applications and Theory of Petri Nets, held in Zaragoza, Spain in June 1987, selected papers (Grzegorz Rozenberg, ed.), Springer, volume 340, . [bibtex] [url] [doi]
[89]Interrelationships among various concepts of fairness for Petri nets (, , and ), In Proceedings of the 31st Midwest Symposium on Circuits and Systems, IEEE Computer Society Press, . [bibtex]
1989
[88] Tight Polynomial Bounds for Steady-State Performance of Marked Graphs (, , and ), In Proceedings of the Third International Workshop on Petri Nets and Performance Models, PNPM 1989, Kyoto, Japan, December 11-13, 1989, IEEE Computer Society Press, . [bibtex] [url] [doi]
[87]Improving the linearly based characterization of P/T nets ( and ), In Proceedings of the 10th International Conference on Application and Theory of Petri Nets, . [bibtex]
[86]Análisis estructural de Redes de Petri, programación lineal y geometría convexa. (), PhD thesis, Departamento de Ingeniería Eléctrica e Informática, Universidad de Zaragoza, . [bibtex]
[85]Convex Geometry and Semiflows in P/T nets. A comparative study of algorithms for computation of minimal P-semiflows ( and ), In Proceedings of the 10th International Conference on Application and Theory of Petri Nets, . [bibtex]
[84]Structural Analysis and Synthesis of Petri Nets (, and ), Technical report 89-15, Departamento de Ingeniería Eléctrica e Informática, Universidad de Zaragoza, . [bibtex]
1990
[83]Performance evaluation of repetitive automated manufacturing systems (, and ), In Proceedings of the IEEE Rensselaer's Second International Conference on Computer Integrated Manufacturing, IEEE Computer Society Press, . [bibtex] [doi]
[82]Convex geometry and semiflows in P/T nets. A comparative study of algorithms for computation of minimal P-semiflows ( and ), In Proceedings of Design Methods Based on Nets (DEMON). Esprit Basic Research Action 3148. W.G. 3: Algebra and Proof Methods. Deliverables Covering the Period June 1989 to June 1990, . [bibtex]
[81]Improving the linearly based characterization of P/T nets ( and ), In Proceedings of Design Methods Based on Nets (DEMON). Esprit Basic Research Action 3148. W.G. 3: Algebra and Proof Methods. Deliverables Covering the Period June 1989 to June 1990, . [bibtex]
[80]On liveness analysis through linear algebraic techniques (, and ), In Proceedings of Design Methods Based on Nets (DEMON). Esprit Basic Research Action 3148. W.G. 3: Algebra and Proof Methods. Deliverables Covering the Period June 1989 to June 1990, . [bibtex]
1991
[79] Improving the linearly based characterization of P/T nets ( and ), Chapter in Advances in Petri Nets 1990 [10th International Conference on Applications and Theory of Petri Nets, Bonn, Germany, June 1989, Proceedings] (Grzegorz Rozenberg, ed.), Springer, volume 483, . [bibtex] [url] [doi]
[78] Convex geometry and semiflows in P/T nets. A comparative study of algorithms for computation of minimal P-semiflows ( and ), Chapter in Advances in Petri Nets 1990 [10th International Conference on Applications and Theory of Petri Nets, Bonn, Germany, June 1989, Proceedings] (Grzegorz Rozenberg, ed.), Springer, volume 483, . [bibtex] [url] [doi]
[77]Improving throughput upper bounds for net based models (, and ), In Proceedings of the IMACS MCTS’91 International Symposium on Modeling and Control of Technological Systems, . [bibtex]
[76]A Reachable Throughput Upper Bound for Live and Safe Free Choice Nets (), In Proceedings of the 12th International Conference on Application and Theory of Petri Nets, . [bibtex]
[75]Linear Algebraic Techniques for the Analysis of Petri Nets (, and ), In Proceedings of the International Symposium on the Mathematical Theory of Networks and Systems, . [bibtex]
1992
[74]Improving throughput upper bounds for net based models (, and ), Chapter in Robotics and Flexible Manufacturing Systems (S.G. Tzafestas, J.C. Gentina, eds.), Elsevier Science Publishers B.V. (North-Holland), . [bibtex]
[73]Linear Algebraic Techniques for the Analysis of Petri Nets (, and ), Chapter in Recent Advances in Mathematical Theory of Systems, Control, Networks, and Signal Processing II, Mita Press, . [bibtex]
[72] On Weighted T-Systems (, and ), Chapter in Application and Theory of Petri Nets 1992, 13th International Conference, Sheffield, UK, June 22-26, 1992, Proceedings (Kurt Jensen, ed.), Springer, volume 616, . [bibtex] [url] [doi]
[71]On Weighted T-Systems (, , and ), Technical report 92-03, Departamento de Ingeniería Eléctrica e Informática, Universidad de Zaragoza, . [bibtex]
[70]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]
[69]Properties and Performance Bounds for Timed Marked Graphs (, , and ), In IEEE Transactions on Circuits and Systems I: Fundamental Theory and Applications, volume 39, . [bibtex] [doi]
[68]Linear Analysis of Deadlock-Freeness Using PNs (, and ), Technical report 92-29, Departamento de Ingeniería Eléctrica e Informática, Universidad de Zaragoza, . [bibtex]
[67]On the Analysis and Synthesis of Systems of Simple Sequential Processes with Resources (SSSPR) (, and ), Technical report 92-30, Departamento de Ingeniería Eléctrica e Informática, Universidad de Zaragoza, . [bibtex]
1993
[66] A general iterative technique for approximate throughput computation of Stochastic Marked Graphs (, , and ), In Proceedings of the IEEE 5th International Workshop on Petri Nets and Performance Models, PNPM 1993, Toulouse, France, October 19-22, 1993, IEEE Computer Society Press, . [bibtex] [url] [doi]
[65] Operational analysis of timed Petri nets and application to the computation of performance bounds (, , , and ), In Proceedings of the IEEE 5th International Workshop on Petri Nets and Performance Models, PNPM 1993, Toulouse, France, October 19-22, 1993, IEEE Computer Society Press, . [bibtex] [url] [doi]
[64]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]
[63]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]
[62]Structure Theory of Choice-free Systems (, and ), Technical report 93-09, Departamento de Ingeniería Eléctrica e Informática, Universidad de Zaragoza, , Revised in September. [bibtex]
[61]Linear Analysis of Deadlock-Freeness of Petri Net Models (, and ), In Proceedings of the European Control Conference 1993, ECC'93. Volume 2 (European Control Association, ed.), Rijksuniv., . [bibtex]
[60]Operational Analysis of Timed Petri Nets (, , and ), In Proceedings of the 16th International Symposium on Computer Performance Modelling, Measurement and Evaluation (Performance'93), . [bibtex]
[59]A Petri net based deadlock prevention policy for flexible manufacturing systems (, and ), In Actas de las III Jornadas de Concurrencia, . [bibtex]
[58]Linear Analysis of Deadlock-Freeness of Petri Net Models (, and ), In Actas de las III Jornadas de Concurrencia, . [bibtex]
[57]On Weighted T-Systems (, and ), In Actas de las III Jornadas de Concurrencia, . [bibtex]
[56]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]
1994
[55] Implementation of Weighted Place/Transition Nets Based on Linear Enabling Functions (), Chapter in Application and Theory of Petri Nets 1994, 15th International Conference, Zaragoza, Spain, June 20-24, 1994, Proceedings (Robert Valette, ed.), Springer, volume 815, . [bibtex] [url] [doi]
[54] Approximate Throughput Computation of Stochastic Marked Graphs (, , and ), In IEEE Transactions on Software Engineering, volume 20, . [bibtex] [url] [doi]
[53] Operational Analysis of Timed Petri Nets and Application to the Computation of Performance Bounds (, , , and ), Chapter in Performance Evaluation of parallel and distributed systems. Solution Methods. - Proceedings of the third QMIPS workshop. Part 2 (O.J. Boxma, G.M. Koole, eds.), Centrum voor Wiskunde en Informatica, volume 106, . [bibtex] [url]
[52] Functional and performance analysis of cooperating sequential processes (, , and ), Chapter in 11th International Conference on Analysis and Optimization of Systems Discrete Event Systems (Guy Cohen, Jean-Pierre Quadrat, eds.), Springer Berlin Heidelberg, volume 199, . [bibtex] [url] [doi]
[51] Functional and Performance Analysis of Cooperating Sequential Processes (, , and ), Chapter in Performance Evaluation of parallel and distributed systems. Solution Methods. - Proceedings of the third QMIPS workshop. Part 2 (O.J. Boxma, G.M. Koole, eds.), Centrum voor Wiskunde en Informatica, volume 106, . [bibtex] [url]
[50]Structural Analysis of Place/Transition Nets. An Example (, , , and ), Technical report, Departamento de Ingeniería Eléctrica e Informática, Universidad de Zaragoza, . [bibtex]
[49]Structural Analysis of Petri Nets (, , , and ), Technical report, Departamento de Ingeniería Eléctrica e Informática, Universidad de Zaragoza, . [bibtex]
[48]Discrete Event Simulation based on Timed Petri Nets using Linear Enabling Functions (), In Proceedings of 1994 IEEE International Conference on Systems, Man and Cybernetics, IEEE Computer Society Press, volume 2, . [bibtex] [doi]
1995
[47] Approximate Throughput Computation of Stochastic Marked Graphs (, , and ), Chapter in Quantitative Methods in Parallel Systems (François Baccelli, Alain Jean-Marie, Isi Mitrani, eds.), Springer Berlin Heidelberg, . [bibtex] [url] [doi]
[46] Operational Analysis of Timed Petri Nets and Application to the Computation of Performance Bounds (, , , and ), Chapter in Quantitative Methods in Parallel Systems (François Baccelli, Alain Jean-Marie, Isi Mitrani, eds.), Springer Berlin Heidelberg, . [bibtex] [url] [doi]
[45] A Petri net based deadlock prevention policy for flexible manufacturing systems ( and ), In IEEE Transactions on Robotics and Automation, volume 11, . [bibtex] [url] [doi]
[44] Functional and Performance Analysis of Cooperating Sequential Processes (, , and ), Chapter in Quantitative Methods in Parallel Systems (François Baccelli, Alain Jean-Marie, Isi Mitrani, eds.), Springer Berlin Heidelberg, . [bibtex] [url] [doi]
1997
[43] Automatic synthesis of colored Petri nets for the control of FMS (), In IEEE Transactions on Robotics and Automation, volume 13, . [bibtex] [url] [doi]
[42] Choice-free Petri nets: A model for deterministic concurrent systems with bulk services and arrivals (, and ), In IEEE Transactions on Systems, Man, and Cybernetics, Part A, volume 27, . [bibtex] [url] [doi]
[41] 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]
1998
[40]Chapter 16 - Structural Methods (, , and ), Chapter in Systems Engineering: A Petri Net Based Approach to Modelling, Verification and Implementation, HCM-MATCH Advanced Schools. Jaca, Spain, September, 14-22, 1998, Kronos, Zaragoza, . [bibtex]
[39] A Class of Well Structured Petri Nets for Flexible Manufacturing Systems ( and ), 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, . [bibtex] [url] [doi]
[38]Optimal Control of Discrete Event Systems (, and ), In Proceedings of the International Workshop on Discrete Event Systems, WODES’98, Cagliari, Sardinia, Italy, August 26-28, 1998., Institution of Electrical Engineers, London, . [bibtex]
[37] Linear Algebraic and Linear Programming Techniques for the Analysis of Place or Transition Net Systems ( and ), Chapter in Lectures on Petri Nets I: Basic Models, Advances in Petri Nets, the volumes are based on the Advanced Course on Petri Nets, held in Dagstuhl, September 1996 (Wolfgang Reisig, Grzegorz Rozenberg, eds.), Springer, volume 1491, . [bibtex] [url] [doi]
1999
[36] Implicit places in net systems (), In Proceedings of the 8th International Workshop on Petri Nets and Performance Models, PNPM 1999, Zaragoza, Spain, September 8-10, 1999, IEEE Computer Society, . [bibtex] [url] [doi]
[35]A solution to the problem of deadlocks in concurrent systems using Petri nets and integer linear programming ( and ), 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, . [bibtex]
2000
[34] Comments on "Deadlock avoidance policy for Petri net modeling of flexible manufacturing systems with shared resources (), In IEEE Transactions on Automatic Control, volume 45, . [bibtex] [url] [doi]
[33] Structurally Safe Net Systems (, and ), Chapter in Discrete Event Systems: Analysis and Control (R. Boel., G. Stremersch, eds.), Springer US, . [bibtex] [url] [doi]
[32] An Iterative Method for Deadlock Prevention in FMS (, and ), Chapter in Discrete Event Systems: Analysis and Control (Boel, R., Stremersch, G., eds.), Springer US, . [bibtex] [url] [doi]
[31] Some Improvements to the Banker's Algorithm Based on the Process Structure ( and ), In Proceedings of the 2000 IEEE International Conference on Robotics and Automation, ICRA 2000, April 24-28, 2000, San Francisco, CA, USA, IEEE, . [bibtex] [url] [doi]
[30]New Methods for Deadlock Prevention and Avoidance in Concurrent Systems ( and ), In Actas de las VIII Jornadas de Concurrencia, Ediciones de la Universidad de Castilla-La Mancha, . [bibtex]
2002
[29] A Banker's solution for deadlock avoidance in FMS with flexible routing and multiresource states (, and ), In IEEE Transactions on Robotics and Automation, volume 18, . [bibtex] [url] [doi]
[28] Checking Redundancies in Supervisory Control. A Complexity Result (), In IFAC Proceedings Volumes, volume 35, , 15th Triennial World Congress of the International Federation of Automatic Control (IFAC). [bibtex] [url] [doi]
2003
[27] 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]
[26] Chapter 15 - Structural Methods (, , and ), Chapter in Petri Nets for Systems Engineering. A Guide to Modeling, Verification, and Applications (Claude Girault, Rüdiger Valk, eds.), Springer-Verlag Berlin Heidelberg, . [bibtex] [url] [doi]
[25]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]
2005
[24] A Petri Net Structure-Based Deadlock Prevention Solution for Sequential Resource Allocation Systems ( and ), In Proceedings of the 2005 IEEE International Conference on Robotics and Automation, ICRA 2005, April 18-22, 2005, Barcelona, Spain, IEEE, . [bibtex] [url] [doi]
[23]Using Linear Programming and the Petri Net Structure for Deadlock Prevention in Sequential Resource Allocation Systems ( and ), In Actas de las XIII Jornadas de Concurrencia y Sistemas Distribuidos (JCSD’2005), Thomson Paraninfo S.A., Madrid, España, . [bibtex]
2006
[22] Synthesis of asynchronous controllers using integer linear programming (, and ), In IEEE Transactions on CAD of Integrated Circuits and Systems, volume 25, . [bibtex] [url] [doi]
[21] Resource Allocation Systems: Some Complexity Results on the S$^4$PR Class (), Chapter in Formal Techniques for Networked and Distributed Systems - FORTE 2006, 26th IFIP WG 6.1 International Conference, Paris, France, September 26-29, 2006. (Elie Najm, Jean-François Pradat-Peyre, Véronique Donzeau-Gouge, eds.), Springer, volume 4229, . [bibtex] [url] [doi]
[20] 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
[19] On the computation of the minimal siphons of S$^4$PR nets from a generating family of siphons ( and ), In Proceedings of 2010 IEEE 15th International Conference on Emerging Technologies and Factory Automation, ETFA 2010, September 13-16, 2010, Bilbao, Spain, IEEE, . [bibtex] [url] [doi]
[18] An algorithm to compute the minimal siphons in S$^4$PR nets ( and ), In 10th International Workshop on Discrete Event Systems, WODES 2010, Berlin, Germany, August 30 - September 01, 2010. (Jörg Raisch, Alessandro Giua, Stéphane Lafortune, Thomas Moor, eds.), International Federation of Automatic Control, volume 43, , [10th IFAC Workshop on Discrete Event Systems]. [bibtex] [url] [doi]
[17] 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]
[16] The Resource Allocation Problem in Software Applications: A Petri Net Perspective (), 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, . [bibtex] [url]
2011
[15] 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
[14] An algorithm to compute the minimal siphons in S$^4$PR nets ( and ), In Discrete Event Dynamic Systems - Theory and Applications, volume 22, . [bibtex] [url] [doi]
[13] A Petri Net Perspective on the Resource Allocation Problem in Software Engineering (), In Transactions on Petri Nets and Other Models of Concurrency, Springer, volume 5, . [bibtex] [url] [doi]
[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] The Resource Allocation Problem in Software Applications: A Petri Net Perspective (), 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]
[9] Structural Methods for the Control of Discrete Event Dynamic Systems - The Case of the Resource Allocation Problem (), Chapter in Control of Discrete-Event Systems (Carla Seatzu, Manuel Silva, Jan H. van Schuppen, eds.), Springer, volume 433, . [bibtex] [url] [doi]
[8] A New Approach to Prevent Deadlock in S$^3$PR Nets with Unreplicable Resources (), 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, . [bibtex] [url] [doi]
[7] Enforcing Liveness in S$^3$PR Nets by Specialization of Resources (), 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, . [bibtex] [url] [doi]
2014
[6] 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]
[5] The deadlock problem in the control of Flexible Manufacturing Systems: An overview of the Petri net approach ( 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]
[4] Computing Minimal Siphons in Petri Net Models of Resource Allocation Systems: An Evolutionary Approach ( 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]
[3]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]
[2]Using the incidence matrix in an evolutionary algorithm for computing minimal siphons in Petri net models (), In 2014 18th International Conference on System Theory, Control and Computing (ICSTCC), Sinaia, Romania, October 17-19, 2014, IEEE, . [bibtex] [doi]
2016
[1] Chapter 7 - Structural deadlock prevention policies for Flexible Manufacturing Systems. A Petri net outlook (, and ), Chapter in Formal Methods in Manufacturing (Javier Campos, Carla Seatzu, Xiaolan Xie, eds.), CRC Press/Taylor and Francis Group, . [bibtex] [url] [doi]
Powered by bibtexbrowser