José Manuel Colom

79 papers A* 2B 5C 11Misc 5Journal 20Unranked 34
YearRankTypeTitle / Venue / Authors
2025 J jnl
Large scale system design aided by modelling and DES simulation: A Petri net approach.
Softw. Pract. Exp.
Unai Arronategui, José Ángel Bañares, José Manuel Colom
2024 — conf
Distributed Simulation with Efficient Fault Tolerance.
GECON
Javier Vela, Unai Arronategui, José Ángel Bañares, José Manuel Colom
2024 B conf
Harnessing Structure Theory of Petri Nets in Discrete Event System Simulation.
Petri Nets
José Manuel Colom
2024 J jnl
Model-driven development of data intensive applications over cloud resources.
CoRR
Rafael Tolosana-Calasanz, José Ángel Bañares, José Manuel Colom
2022 — conf
A Framework to Support Decision-Making Based on AI and Simulation of Large-Scale Models.
GECON
Unai Arronategui, José Ángel Bañares, José Manuel Colom
2022 — conf
Design and Implementation of a Compiler for Simulation of Large-Scale Models.
GECON
Tomás Pelayo, Unai Arronategui, José Ángel Bañares, José Manuel Colom
2021 — conf
Workload Evaluation in Distributed Simulation of DESs.
GECON
Paul Hodgetts, Hayk Kocharyan, Fidel Reviriego, Álvaro Santamaría, Unai Arronategui, José Ángel Bañares, José Manuel Colom
2020 — conf
A MDE Approach for Modelling and Distributed Simulation of Health Systems.
GECON
Unai Arronategui, José Ángel Bañares, José Manuel Colom
2019 — conf
Towards an Architecture Proposal for Federation of Distributed DES Simulators.
GECON
Unai Arronategui, José Ángel Bañares, José Manuel Colom
2018 — conf
Model and Simulation Engines for Distributed Simulation of Discrete Event Systems.
GECON
José Ángel Bañares, José Manuel Colom
2018 J jnl
Model-driven development of data intensive applications over cloud resources.
Future Gener. Comput. Syst.
Rafael Tolosana-Calasanz, José Ángel Bañares, José Manuel Colom
2016 — conf
Distributed Simulation of Complex and Scalable Systems: From Models to the Cloud.
GECON
Victor Medel Gracia, Unai Arronategui, José Ángel Bañares, José Manuel Colom
2016 J jnl
Evaluation of properties over phylogenetic trees using stochastic logics.
BMC Bioinform.
José Ignacio Requeno, José Manuel Colom
2015 — conf
A Specification Language for Performance and Economical Analysis of Short Term Data Intensive Energy Management Services.
GECON
Alberto Merino, Rafael Tolosana-Calasanz, José Ángel Bañares, José Manuel Colom
2015 — conf
Function blocks for the design of control applications based on EtherCAT fieldbus.
ICIT
Alfonso Blesa, Carlos Catalán, Félix Serna, José Manuel Colom, C. Larrea, Josep M. Rams
2015 — conf
On Autonomic Platform-as-a-Service: Characterisation and Conceptual Model.
KES-AMSTA
Rafael Tolosana-Calasanz, José Ángel Bañares, José Manuel Colom
2015 J jnl
Preface.
Fundam. Informaticae
José Manuel Colom, Jörg Desel, Jetty Kleijn
2014 C conf
A model-based approach for the specification and verification of clinical guidelines.
ETFA
Simona Bernardi, José Manuel Colom, Jorge Albareda, Cristian Mahulea
2014 J jnl
Analyzing Phylogenetic Trees with Timed and Probabilistic Model Checking: The Lactose Persistence Case Study.
J. Integr. Bioinform.
José Ignacio Requeno, José Manuel Colom
2014 — conf
Computing Minimal Siphons in Petri Net Models of Resource Allocation Systems: An Evolutionary Approach.
PNSE @ Petri Nets
Fernando Tricas, José Manuel Colom, Juan Julián Merelo Guervós
2014 — conf
Construction of Data Streams Applications from Functional, Non-Functional and Resource Requirements for Electric Vehicle Aggregators. The COSMOS Vision.
PNSE @ Petri Nets
José Ángel Bañares, Rafael Tolosana-Calasanz, Fernando Tricas, Unai Arronategui, Javier Celaya, José Manuel Colom
2014 C conf
The deadlock problem in the control of Flexible Manufacturing Systems: An overview of the Petri net approach.
ETFA
Juan-Pablo López-Grao, José Manuel Colom, Fernando Tricas
2014 Misc conf
Timed and Probabilistic Model Checking over Phylogenetic Trees.
PACBB
José Ignacio Requeno, José Manuel Colom
2014 — conf
Towards Petri Net-Based Economical Analysis for Streaming Applications Executed Over Cloud Infrastructures.
GECON
Rafael Tolosana-Calasanz, José Ángel Bañares, José Manuel Colom
2013 C conf
A New Approach to Prevent Deadlock in S3PR Nets with Unreplicable Resources.
ICORES
Asaftei Timotei, José Manuel Colom
2013 B ed.
Application and Theory of Petri Nets and Concurrency - 34th International Conference, PETRI NETS 2013, Milan, Italy, June 24-28, 2013. Proceedings
Petri Nets
José Manuel Colom, Jörg Desel
2013 C conf
Enforcing Liveness in S3PR Nets by Specialization of Resources.
ICORES
Asaftei Timotei, José Manuel Colom
2013 J jnl
Model checking software for phylogenetic trees using distribution and database methods.
J. Integr. Bioinform.
José Ignacio Requeno, José Manuel Colom
2013 C conf
Petri net approach for deadlock prevention in robot planning.
ETFA
Marius Kloetzer, Cristian Mahulea, José Manuel Colom
2013 Misc conf
Speeding Up Phylogenetic Model Checking.
PACBB
José Ignacio Requeno, José Manuel Colom
2013 — ch.
Structural Methods for the Control of Discrete Event Dynamic Systems - The Case of the Resource Allocation Problem.
Control of Discrete-Event Systems
Juan-Pablo López-Grao, José Manuel Colom
2013 J jnl
Temporal Logics for Phylogenetic Analysis via Model Checking.
IEEE ACM Trans. Comput. Biol. Bioinform.
José Ignacio Requeno, Gregorio de Miguel Casado, Roberto Blanco, José Manuel Colom
2012 J jnl
A Petri Net Perspective on the Resource Allocation Problem in Software Engineering.
Trans. Petri Nets Other Model. Concurr.
Juan-Pablo López-Grao, José Manuel Colom
2012 J jnl
An algorithm to compute the minimal siphons in S 4 PR nets.
Discret. Event Dyn. Syst.
Elia Esther Cano, Carlos A. Rovetto, José Manuel Colom
2012 Misc conf
Compact Representation of Biological Sequences Using Set Decision Diagrams.
PACBB
José Ignacio Requeno, José Manuel Colom
2012 C conf
Modular Petri net modeling of the Spanish health system.
ETFA
Cristian Mahulea, Juan-Manuel Garcia-Soriano, José Manuel Colom
2012 Misc conf
Sliced Model Checking for Phylogenetic Analysis.
PACBB
José Ignacio Requeno, Roberto Blanco, Gregorio de Miguel Casado, José Manuel Colom
2011 C conf
"Predictive maintenance surveyor" design pattern for machine tools control software applications.
ETFA
Félix Serna, Carlos Catalán, Alfonso Blesa, José Manuel Colom, Josep María Rams
2011 C conf
COSME: A distributed control platform for communicating machine tools in Agile Manufacturing Systems.
ETFA
Carlos Catalán, Félix Serna, Alfonso Blesa, José Manuel Colom, Josep María Rams
2011 — conf
Communication types for manufacturing systems. A proposal to distributed control system based on IEC 61499.
CASE
Carlos Catalán, Félix Serna, Alfonso Blesa, Josep M. Rams, José Manuel Colom
2011 — conf
Control software design for a cutting glass machine tool based on the COSME platform. Case study.
CASE
Félix Serna, Carlos Catalán, Alfonso Blesa, Josep M. Rams, José Manuel Colom
2011 C conf
On the deadlock analysis of multithreaded control software.
ETFA
Juan-Pablo López-Grao, José Manuel Colom
2011 Misc conf
Phylogenetic Analysis Using an SMV Tool.
PACBB
José Ignacio Requeno, Roberto Blanco, Gregorio de Miguel Casado, José Manuel Colom
2010 — conf
An algorithm to compute the minimal siphons in S4PR nets.
WODES
Elia E. Cano, Carlos A. Rovetto, José Manuel Colom
2010 — conf
Deadlock Control Software for Tow Automated Guided Vehicles using Petri Nets.
ACSD/Petri Nets Workshops
Carlos A. Rovetto, Elia E. Cano, José Manuel Colom
2010 B conf
Deadlock analysis in minimal adaptive routing algorithms using Petri Nets.
SMC
Carlos A. Rovetto, Elia E. Cano, José Manuel Colom
2010 C conf
On the computation of the minimal siphons of S
ETFA
Elia E. Cano, Carlos A. Rovetto, José Manuel Colom
2010 — conf
Temporal logics for phylogenetic analysis via model checking.
BIBM Workshops
Roberto Blanco, Gregorio de Miguel Casado, José Ignacio Requeno, José Manuel Colom
2010 — conf
The Resource Allocation Problem in Software Applications: A Petri Net Perspective.
ACSD/Petri Nets Workshops
Juan-Pablo López-Grao, José Manuel Colom
2006 B conf
Lender processes competing for shared resources: Beyond the S4PR paradigm.
SMC
Juan-Pablo López-Grao, José Manuel Colom
2006 C conf
Resource Allocation Systems: Some Complexity Results on the S
FORTE
Juan-Pablo López-Grao, José Manuel Colom
2006 J jnl
Synthesis of asynchronous controllers using integer linear programming.
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.
Josep Carmona, José Manuel Colom, Jordi Cortadella, Fernando García-Vallés
2005 A* conf
A Petri Net Structure- Based Deadlock Prevention Solution for Sequential Resource Allocation Systems.
ICRA
Fernando Tricas, Fernando García-Vallés, José Manuel Colom, Joaquin Ezpeleta
2003 — conf
The Resource Allocation Problem in Flexible Manufacturing Systems.
ICATPN
José Manuel Colom
2002 J jnl
A Banker's solution for deadlock avoidance in FMS with flexible routing and multiresource states.
IEEE Trans. Robotics Autom.
Joaquin Ezpeleta, Fernando Tricas, Fernando García-Vallés, José Manuel Colom
2001 — ed.
Application and Theory of Petri Nets 2001, 22nd International Conference, ICATPN 2001, Newcastle upon Tyne, UK, June 25-29, 2001, Proceedings
ICATPN
José Manuel Colom, Maciej Koutny
2000 J jnl
Comments on "Deadlock avoidance policy for Petri net modeling of flexible manufacturing systems with shared resources.
IEEE Trans. Autom. Control.
Fernando García-Vallés, José Manuel Colom, Joaquín Ezpeleta
2000 A* conf
Some Improvements to the Banker s Algorithm Based on the Process Structure.
ICRA
Fernando Tricas, José Manuel Colom, Joaquin Ezpeleta
1999 — conf
Implicit places in net systems.
PNPM
Fernando García-Vallés, José Manuel Colom
1998 — conf
A Class of Well Structured Petri Nets for Flexible Manufacturing Systems.
ICATPN
Joaquin Ezpeleta, Fernando García-Vallés, José Manuel Colom
1997 J jnl
Automatic synthesis of colored Petri nets for the control of FMS.
IEEE Trans. Robotics Autom.
Joaquín Ezpeleta, José Manuel Colom
1997 J jnl
Choice-free Petri nets: a model for deterministic concurrent systems with bulk services and arrivals.
IEEE Trans. Syst. Man Cybern. Part A
Enrique Teruel, José Manuel Colom, Manuel Silva Suárez
1996 B conf
Linear Algebraic and Linear Programming Techniques for the Analysis of Place or Transition Net Systems.
Petri Nets
Manuel Silva Suárez, Enrique Teruel, José Manuel Colom
1995 J jnl
A Colored Petri Net Model of VHDL.
Formal Methods Syst. Des.
Serafín Olcoz, José Manuel Colom
1995 J jnl
A Petri net based deadlock prevention policy for flexible manufacturing systems.
IEEE Trans. Robotics Autom.
Joaquín Ezpeleta, José Manuel Colom, Javier Martínez
1994 J jnl
Approximate Throughput Computation of Stochastic Marked Graphs.
IEEE Trans. Software Eng.
Javier Campos, José Manuel Colom, Hauke Jungnitz, Manuel Silva Suárez
1994 — conf
Implementation of Weighted Place/Transition Nets Based on Linear Enabling Functions.
Application and Theory of Petri Nets
José Luis Briz, José Manuel Colom
1993 — conf
A Petri Net Approach for the Analysis of VHDL Descriptions.
CHARME
Serafín Olcoz, José Manuel Colom
1993 — conf
A general iterative technique for approximate throughput computation of stochastic marked graphs.
PNPM
Javier Campos, José Manuel Colom, Hauke Jungnitz, Manuel Silva Suárez
1993 J jnl
Analysis tools applied to VHDL.
Microprocess. Microprogramming
Serafín Olcoz, José Manuel Colom
1993 — conf
Modelling and Analysis of Deterministic Concurrent Systems with Bulk Services and Arrivals.
Decentralized and Distributed Systems
Enrique Teruel, José Manuel Colom, Manuel Silva Suárez
1993 — conf
Operational analysis of timed Petri nets and application to the computation of performance bounds.
PNPM
Giovanni Chiola, Cosimo Anglano, Javier Campos, José Manuel Colom, Manuel Silva Suárez
1993 J jnl
Petri Nets applied to the modelling and analysis of computer architecture problems.
Microprocess. Microprogramming
Manuel Silva Suárez, José Manuel Colom
1993 — conf
Toward a formal semantics of IEEE Std. VHDL 1076.
EURO-DAC
Serafín Olcoz, José Manuel Colom
1992 — conf
On Weighted T-Systems.
Application and Theory of Petri Nets
Enrique Teruel, Piotr Chrzastowski-Wachtel, José Manuel Colom, Manuel Silva Suárez
1989 — conf
Convex geometry and semiflows in P/T nets. A comparative study of algorithms for computation of minimal P-semiflows.
Applications and Theory of Petri Nets
José Manuel Colom, Manuel Silva Suárez
1989 — conf
Improving the linearly based characterization of P/T nets.
Applications and Theory of Petri Nets
José Manuel Colom, Manuel Silva Suárez
1989 — conf
Tight Polynomial Bounds for Steady-State Performance of Marked Graphs.
PNPM
Javier Campos, Giovanni Chiola, José Manuel Colom, Manuel Silva Suárez
1987 — conf
On the Computation of Structural Synchronic Invariants in P/T Nets.
European Workshop on Applications and Theory of Petri Nets
Manuel Silva Suárez, José Manuel Colom