José Manuel Colom

According to our database, José Manuel Colom authored at least 74 papers between 1987 and 2025.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2025

Large scale system design aided by modelling and DES simulation: A Petri net approach.

Unai Arronategui, José Ángel Bañares, José Manuel Colom

Softw. Pract. Exp., 2025

2024

Harnessing Structure Theory of Petri Nets in Discrete Event System Simulation.

José Manuel Colom

Proceedings of the Application and Theory of Petri Nets and Concurrency, 2024

2022

Design and Implementation of a Compiler for Simulation of Large-Scale Models.

Tomás Pelayo, Unai Arronategui, José Ángel Bañares, José Manuel Colom

Proceedings of the Economics of Grids, Clouds, Systems, and Services, 2022

A Framework to Support Decision-Making Based on AI and Simulation of Large-Scale Models.

Unai Arronategui, José Ángel Bañares, José Manuel Colom

Proceedings of the Economics of Grids, Clouds, Systems, and Services, 2022

2021

Workload Evaluation in Distributed Simulation of DESs.

Paul Hodgetts, Hayk Kocharyan, Fidel Reviriego, Álvaro Santamaría, Unai Arronategui, José Ángel Bañares, José Manuel Colom

Proceedings of the Economics of Grids, Clouds, Systems, and Services, 2021

2020

A MDE Approach for Modelling and Distributed Simulation of Health Systems.

Unai Arronategui, José Ángel Bañares, José Manuel Colom

Proceedings of the Economics of Grids, Clouds, Systems, and Services, 2020

2019

Towards an Architecture Proposal for Federation of Distributed DES Simulators.

Unai Arronategui, José Ángel Bañares, José Manuel Colom

Proceedings of the Economics of Grids, Clouds, Systems, and Services, 2019

2018

Model-driven development of data intensive applications over cloud resources.

Rafael Tolosana-Calasanz, José Ángel Bañares, José Manuel Colom

Future Gener. Comput. Syst., 2018

Model and Simulation Engines for Distributed Simulation of Discrete Event Systems.

José Ángel Bañares, José Manuel Colom

Proceedings of the Economics of Grids, Clouds, Systems, and Services, 2018

2016

Evaluation of properties over phylogenetic trees using stochastic logics.

José Ignacio Requeno, José Manuel Colom

BMC Bioinform., 2016

Distributed Simulation of Complex and Scalable Systems: From Models to the Cloud.

Victor Medel Gracia, Unai Arronategui, José Ángel Bañares, José Manuel Colom

Proceedings of the Economics of Grids, Clouds, Systems, and Services, 2016

2015

Preface.

José Manuel Colom, Jörg Desel, Jetty Kleijn

Fundam. Informaticae, 2015

On Autonomic Platform-as-a-Service: Characterisation and Conceptual Model.

Rafael Tolosana-Calasanz, José Ángel Bañares, José Manuel Colom

Proceedings of the Agent and Multi-Agent Systems: Technologies and Applications, 2015

Function blocks for the design of control applications based on EtherCAT fieldbus.

Alfonso Blesa, Carlos Catalán, Félix Serna, José Manuel Colom, C. Larrea, Josep M. Rams

Proceedings of the IEEE International Conference on Industrial Technology, 2015

A Specification Language for Performance and Economical Analysis of Short Term Data Intensive Energy Management Services.

Alberto Merino, Rafael Tolosana-Calasanz, José Ángel Bañares, José Manuel Colom

Proceedings of the Economics of Grids, Clouds, Systems, and Services, 2015

2014

Analyzing Phylogenetic Trees with Timed and Probabilistic Model Checking: The Lactose Persistence Case Study.

José Ignacio Requeno, José Manuel Colom

J. Integr. Bioinform., 2014

Timed and Probabilistic Model Checking over Phylogenetic Trees.

José Ignacio Requeno, José Manuel Colom

Proceedings of the 8th International Conference on Practical Applications of Computational Biology & Bioinformatics, 2014

Towards Petri Net-Based Economical Analysis for Streaming Applications Executed Over Cloud Infrastructures.

Rafael Tolosana-Calasanz, José Ángel Bañares, José Manuel Colom

Proceedings of the Economics of Grids, Clouds, Systems, and Services, 2014

The deadlock problem in the control of Flexible Manufacturing Systems: An overview of the Petri net approach.

Juan-Pablo López-Grao, José Manuel Colom, Fernando Tricas

Proceedings of the 2014 IEEE Emerging Technology and Factory Automation, 2014

A model-based approach for the specification and verification of clinical guidelines.

Simona Bernardi, José Manuel Colom, Jorge Albareda, Cristian Mahulea

Proceedings of the 2014 IEEE Emerging Technology and Factory Automation, 2014

Computing Minimal Siphons in Petri Net Models of Resource Allocation Systems: An Evolutionary Approach.

Fernando Tricas, José Manuel Colom, Juan Julián Merelo Guervós

Proceedings of the International Workshop on Petri Nets and Software Engineering, 2014

Construction of Data Streams Applications from Functional, Non-Functional and Resource Requirements for Electric Vehicle Aggregators. The COSMOS Vision.

José Ángel Bañares, Rafael Tolosana-Calasanz, Fernando Tricas, Unai Arronategui, Javier Celaya, José Manuel Colom

Proceedings of the International Workshop on Petri Nets and Software Engineering, 2014

2013

Temporal Logics for Phylogenetic Analysis via Model Checking.

José Ignacio Requeno, Gregorio de Miguel Casado, Roberto Blanco, José Manuel Colom

IEEE ACM Trans. Comput. Biol. Bioinform., 2013

Model checking software for phylogenetic trees using distribution and database methods.

José Ignacio Requeno, José Manuel Colom

J. Integr. Bioinform., 2013

Speeding Up Phylogenetic Model Checking.

José Ignacio Requeno, José Manuel Colom

Proceedings of the 7th International Conference on Practical Applications of Computational Biology & Bioinformatics, 2013

Enforcing Liveness in S3PR Nets by Specialization of Resources.

Asaftei Timotei, José Manuel Colom

Proceedings of the ICORES 2013, 2013

A New Approach to Prevent Deadlock in S3PR Nets with Unreplicable Resources.

Asaftei Timotei, José Manuel Colom

Proceedings of the ICORES 2013, 2013

Petri net approach for deadlock prevention in robot planning.

Marius Kloetzer, Cristian Mahulea, José Manuel Colom

Proceedings of 2013 IEEE 18th Conference on Emerging Technologies & Factory Automation, 2013

Structural Methods for the Control of Discrete Event Dynamic Systems - The Case of the Resource Allocation Problem.

Juan-Pablo López-Grao, José Manuel Colom

Proceedings of the Control of Discrete-Event Systems, 2013

2012

A Petri Net Perspective on the Resource Allocation Problem in Software Engineering.

Juan-Pablo López-Grao, José Manuel Colom

Trans. Petri Nets Other Model. Concurr., 2012

An algorithm to compute the minimal siphons in S 4 PR nets.

Elia Esther Cano, Carlos A. Rovetto, José Manuel Colom

Discret. Event Dyn. Syst., 2012

Compact Representation of Biological Sequences Using Set Decision Diagrams.

José Ignacio Requeno, José Manuel Colom

Proceedings of the 6th International Conference on Practical Applications of Computational Biology & Bioinformatics, 2012

Sliced Model Checking for Phylogenetic Analysis.

José Ignacio Requeno, Roberto Blanco, Gregorio de Miguel Casado, José Manuel Colom

Proceedings of the 6th International Conference on Practical Applications of Computational Biology & Bioinformatics, 2012

Modular Petri net modeling of the Spanish health system.

Cristian Mahulea, Juan-Manuel Garcia-Soriano, José Manuel Colom

Proceedings of 2012 IEEE 17th International Conference on Emerging Technologies & Factory Automation, 2012

2011

Phylogenetic Analysis Using an SMV Tool.

José Ignacio Requeno, Roberto Blanco, Gregorio de Miguel Casado, José Manuel Colom

Proceedings of the 5th International Conference on Practical Applications of Computational Biology & Bioinformatics, 2011

"Predictive maintenance surveyor" design pattern for machine tools control software applications.

Félix Serna, Carlos Catalán, Alfonso Blesa, José Manuel Colom, Josep María Rams

Proceedings of the IEEE 16th Conference on Emerging Technologies & Factory Automation, 2011

On the deadlock analysis of multithreaded control software.

Juan-Pablo López-Grao, José Manuel Colom

Proceedings of the IEEE 16th Conference on Emerging Technologies & Factory Automation, 2011

COSME: A distributed control platform for communicating machine tools in Agile Manufacturing Systems.

Carlos Catalán, Félix Serna, Alfonso Blesa, José Manuel Colom, Josep María Rams

Proceedings of the IEEE 16th Conference on Emerging Technologies & Factory Automation, 2011

Control software design for a cutting glass machine tool based on the COSME platform. Case study.

Félix Serna, Carlos Catalán, Alfonso Blesa, Josep M. Rams, José Manuel Colom

Proceedings of the IEEE Conference on Automation Science and Engineering, 2011

Communication types for manufacturing systems. A proposal to distributed control system based on IEC 61499.

Carlos Catalán, Félix Serna, Alfonso Blesa, Josep M. Rams, José Manuel Colom

Proceedings of the IEEE Conference on Automation Science and Engineering, 2011

2010

An algorithm to compute the minimal siphons in S4PR nets.

Elia E. Cano, Carlos A. Rovetto, José Manuel Colom

Proceedings of the 10th International Workshop on Discrete Event Systems, 2010

Deadlock analysis in minimal adaptive routing algorithms using Petri Nets.

Carlos A. Rovetto, Elia E. Cano, José Manuel Colom

Proceedings of the IEEE International Conference on Systems, 2010

On the computation of the minimal siphons of S⁴PR nets from a generating family of siphons.

Elia E. Cano, Carlos A. Rovetto, José Manuel Colom

Proceedings of 15th IEEE International Conference on Emerging Technologies and Factory Automation, 2010

Deadlock Control Software for Tow Automated Guided Vehicles using Petri Nets.

Carlos A. Rovetto, Elia E. Cano, José Manuel Colom

Proceedings of the Workshops of the 31st International Conference on Application and Theory of Petri Nets and Other Models of Concurrency (PETRI NETS 2010) and of the 10th International Conference on Application of Concurrency to System Design (ACSD 2010), 2010

The Resource Allocation Problem in Software Applications: A Petri Net Perspective.

Juan-Pablo López-Grao, José Manuel Colom

Proceedings of the Workshops of the 31st International Conference on Application and Theory of Petri Nets and Other Models of Concurrency (PETRI NETS 2010) and of the 10th International Conference on Application of Concurrency to System Design (ACSD 2010), 2010

2006

Synthesis of asynchronous controllers using integer linear programming.

Josep Carmona, José Manuel Colom, Jordi Cortadella, Fernando García-Vallés

IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2006

Lender processes competing for shared resources: Beyond the S4PR paradigm.

Juan-Pablo López-Grao, José Manuel Colom

Proceedings of the IEEE International Conference on Systems, 2006

Resource Allocation Systems: Some Complexity Results on the S⁴PR Class.

Juan-Pablo López-Grao, José Manuel Colom

Proceedings of the Formal Techniques for Networked and Distributed Systems, 2006

2005

A Petri Net Structure- Based Deadlock Prevention Solution for Sequential Resource Allocation Systems.

Fernando Tricas, Fernando García-Vallés, José Manuel Colom, Joaquin Ezpeleta

Proceedings of the 2005 IEEE International Conference on Robotics and Automation, 2005

2003

The Resource Allocation Problem in Flexible Manufacturing Systems.

José Manuel Colom

Proceedings of the Applications and Theory of Petri Nets 2003, 2003

2002

A Banker's solution for deadlock avoidance in FMS with flexible routing and multiresource states.

Joaquin Ezpeleta, Fernando Tricas, Fernando García-Vallés, José Manuel Colom

IEEE Trans. Robotics Autom., 2002

2000

Comments on "Deadlock avoidance policy for Petri net modeling of flexible manufacturing systems with shared resources.

Fernando García-Vallés, José Manuel Colom, Joaquín Ezpeleta

IEEE Trans. Autom. Control., 2000

Some Improvements to the Banker s Algorithm Based on the Process Structure.

Fernando Tricas, José Manuel Colom, Joaquin Ezpeleta

Proceedings of the 2000 IEEE International Conference on Robotics and Automation, 2000

1999

Implicit places in net systems.

Fernando García-Vallés, José Manuel Colom

Proceedings of the 8th International Workshop on Petri Nets and Performance Models, 1999

1998

A Class of Well Structured Petri Nets for Flexible Manufacturing Systems.

Joaquin Ezpeleta, Fernando García-Vallés, José Manuel Colom

Proceedings of the Application and Theory of Petri Nets 1998, 1998

1997

Choice-free Petri nets: a model for deterministic concurrent systems with bulk services and arrivals.

Enrique Teruel, José Manuel Colom, Manuel Silva Suárez

IEEE Trans. Syst. Man Cybern. Part A, 1997

Automatic synthesis of colored Petri nets for the control of FMS.

Joaquín Ezpeleta, José Manuel Colom

IEEE Trans. Robotics Autom., 1997

1996

Linear Algebraic and Linear Programming Techniques for the Analysis of Place or Transition Net Systems.

Manuel Silva Suárez, Enrique Teruel, José Manuel Colom

Proceedings of the Lectures on Petri Nets I: Basic Models, 1996

1995

A Petri net based deadlock prevention policy for flexible manufacturing systems.

Joaquín Ezpeleta, José Manuel Colom, Javier Martínez

IEEE Trans. Robotics Autom., 1995

A Colored Petri Net Model of VHDL.

Serafín Olcoz, José Manuel Colom

Formal Methods Syst. Des., 1995

1994

Approximate Throughput Computation of Stochastic Marked Graphs.

Javier Campos, José Manuel Colom, Hauke Jungnitz, Manuel Silva Suárez

IEEE Trans. Software Eng., 1994

Implementation of Weighted Place/Transition Nets Based on Linear Enabling Functions.

José Luis Briz, José Manuel Colom

Proceedings of the Application and Theory of Petri Nets 1994, 1994

1993

Petri Nets applied to the modelling and analysis of computer architecture problems.

Manuel Silva Suárez, José Manuel Colom

Microprocess. Microprogramming, 1993

Analysis tools applied to VHDL.

Serafín Olcoz, José Manuel Colom

Microprocess. Microprogramming, 1993

Operational analysis of timed Petri nets and application to the computation of performance bounds.

Giovanni Chiola, Cosimo Anglano, Javier Campos, José Manuel Colom, Manuel Silva Suárez

Proceedings of the 5th International Workshop on Petri Nets and Performance Models, 1993

A general iterative technique for approximate throughput computation of stochastic marked graphs.

Javier Campos, José Manuel Colom, Hauke Jungnitz, Manuel Silva Suárez

Proceedings of the 5th International Workshop on Petri Nets and Performance Models, 1993

Modelling and Analysis of Deterministic Concurrent Systems with Bulk Services and Arrivals.

Enrique Teruel, José Manuel Colom, Manuel Silva Suárez

Proceedings of the Decentralized and Distributed Systems, 1993

Toward a formal semantics of IEEE Std. VHDL 1076.

Serafín Olcoz, José Manuel Colom

Proceedings of the European Design Automation Conference 1993, 1993

A Petri Net Approach for the Analysis of VHDL Descriptions.

Serafín Olcoz, José Manuel Colom

Proceedings of the Correct Hardware Design and Verification Methods, 1993

1992

On Weighted T-Systems.

Enrique Teruel, Piotr Chrzastowski-Wachtel, José Manuel Colom, Manuel Silva Suárez

Proceedings of the Application and Theory of Petri Nets 1992, 1992

1989

Tight Polynomial Bounds for Steady-State Performance of Marked Graphs.

Javier Campos, Giovanni Chiola, José Manuel Colom, Manuel Silva Suárez

Proceedings of the Third International Workshop on Petri Nets and Performance Models, 1989

Improving the linearly based characterization of P/T nets.

José Manuel Colom, Manuel Silva Suárez

Proceedings of the Advances in Petri Nets 1990 [10th International Conference on Applications and Theory of Petri Nets, 1989

Convex geometry and semiflows in P/T nets. A comparative study of algorithms for computation of minimal P-semiflows.

José Manuel Colom, Manuel Silva Suárez

Proceedings of the Advances in Petri Nets 1990 [10th International Conference on Applications and Theory of Petri Nets, 1989

1987

On the Computation of Structural Synchronic Invariants in P/T Nets.

Manuel Silva Suárez, José Manuel Colom

Proceedings of the Advances in Petri Nets 1988, 1987