Publications of the COSMOS Research Group
1985
[32]STAR: A Software Tool for Validating Concurrent Systems ( and ), In Proc. Programming - KTSG Technical Week., SESA-RC, . [bibtex]
1986
[31]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
[30]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]
[29]Manual de uso y mantenimiento del paquete de validación de redes de Petri ARP ( and ), Technical report, Departamento de Ingeniería Eléctrica e Informática, Universidad de Zaragoza, . [bibtex]
[28]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
[27] 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]
[26]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
[25] 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]
[24]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]
[23]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]
[22]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]
1990
[21]A Report on Petri Net Software Tools. (, and ), Technical report, Departamento de Ingeniería Eléctrica e Informática, Universidad de Zaragoza, . [bibtex]
[20]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]
[19]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]
[18]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]
1991
[17]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]
[16]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]
1998
[15]Chapter 14 – Introduction to Verification ( 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]
[14]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]
[13]Chapter 6 - Logical Properties of P/T Systems and their Analysis (, and ), Chapter in Performance Models for Discrete Event Systems with Synchronisations: Formalisms and Analysis Techniques - Vol.1, HCM-MATCH Advanced Schools. Jaca, Spain, September, 14-22, 1998, Kronos, Zaragoza, . [bibtex]
[12]Chapter 6 - Properties (, 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]
[11] 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
[10] 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]
2001
[9] Application and Theory of Petri Nets 2001, 22nd International Conference, ICATPN 2001, Newcastle upon Tyne, UK, June 25-29, 2001, Proceedings, (José-Manuel Colom, Maciej Koutny, eds.), Springer, volume 2075, . [bibtex] [url] [doi]
[8]Verificación de propiedades en Redes de Petri (), Chapter in Sistemas Distribuidos: Modelos y Aplicaciones. XI Escuela de Verano de Informática. Albacete, 11 a 13 de julio de 2001 (Valentín Valero, ed.), Departamento de Informática Escuela Politécnica Superior de Albacete. Universidad de Castilla-La Mancha, . [bibtex]
2002
[7]Sixth International Workshop on Discrete Event Systems (WODES02), Proceedings, (Manuel Silva, Alessandro Giua, José-Manuel Colom, eds.), IEEE Computer Society, . [bibtex] [doi]
2003
[6] 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]
[5] Chapter 5 - Properties (, 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]
2005
[4]Proceedings of the Workshop on Control of Hybrid and Discrete Event Systems. Miami, Florida(United States of America): Florida International University, School of Computer Science, (José-Manuel Colom, Ramavarapu Sreenivas, Toshimitsu Ushio, eds.), . [bibtex]
2007
[3]Proceedings of the International Workshop on Petri Nets and Software Engineering (PNSE’07). Siedlce(Poland): University of Podlasie, Institute of Computer Science, 2007, (Daniel Moldt, Fabrice Kordon, Kees van Hee, José-Manuel Colom, Rémi Bastide, eds.), . [bibtex]
2013
[2] Application and Theory of Petri Nets and Concurrency - 34th International Conference, PETRI NETS 2013, Milan, Italy, June 24-28, 2013. Proceedings, (José-Manuel Colom, Jörg Desel, eds.), Springer, volume 7927, . [bibtex] [url] [doi]
2015
[1] Application and Theory of Petri Nets and Concurrency. PETRI NETS 2013 - Preface (, and ), In Fundamenta Informaticae, volume 137, . [bibtex] [url] [doi]
Powered by bibtexbrowser