![](https://dblp1.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp1.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp1.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp1.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp1.uni-trier.de/img/search.dark.16x16.png)
default search action
José Manuel Colom
Person information
Refine list
![note](https://dblp1.uni-trier.de/img/note-mark.dark.12x12.png)
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
Journal Articles
- 2018
- [j18]Rafael Tolosana-Calasanz, José Ángel Bañares
, José Manuel Colom:
Model-driven development of data intensive applications over cloud resources. Future Gener. Comput. Syst. 87: 888-909 (2018) - 2016
- [j17]José Ignacio Requeno
, José Manuel Colom:
Evaluation of properties over phylogenetic trees using stochastic logics. BMC Bioinform. 17: 235 (2016) - 2015
- [j16]José Manuel Colom, Jörg Desel, Jetty Kleijn:
Preface. Fundam. Informaticae 137(1) (2015) - 2014
- [j15]José Ignacio Requeno
, José Manuel Colom:
Analyzing Phylogenetic Trees with Timed and Probabilistic Model Checking: The Lactose Persistence Case Study. J. Integr. Bioinform. 11(3) (2014) - 2013
- [j14]José Ignacio Requeno, José Manuel Colom:
Model checking software for phylogenetic trees using distribution and database methods. J. Integr. Bioinform. 10(3) (2013) - [j13]José Ignacio Requeno
, Gregorio de Miguel Casado, Roberto Blanco, José Manuel Colom
:
Temporal Logics for Phylogenetic Analysis via Model Checking. IEEE ACM Trans. Comput. Biol. Bioinform. 10(4): 1058-1070 (2013) - 2012
- [j12]Elia Esther Cano, Carlos A. Rovetto, José Manuel Colom
:
An algorithm to compute the minimal siphons in S 4 PR nets. Discret. Event Dyn. Syst. 22(4): 403-428 (2012) - [j11]Juan-Pablo López-Grao, José Manuel Colom
:
A Petri Net Perspective on the Resource Allocation Problem in Software Engineering. Trans. Petri Nets Other Model. Concurr. 5: 181-200 (2012) - 2006
- [j10]Josep Carmona
, José Manuel Colom
, Jordi Cortadella
, Fernando García-Vallés:
Synthesis of asynchronous controllers using integer linear programming. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 25(9): 1637-1651 (2006) - 2002
- [j9]Joaquin Ezpeleta
, Fernando Tricas, Fernando García-Vallés, José Manuel Colom
:
A Banker's solution for deadlock avoidance in FMS with flexible routing and multiresource states. IEEE Trans. Robotics Autom. 18(4): 621-625 (2002) - 2000
- [j8]Fernando García-Vallés, José Manuel Colom, Joaquín Ezpeleta
:
Comments on "Deadlock avoidance policy for Petri net modeling of flexible manufacturing systems with shared resources. IEEE Trans. Autom. Control. 45(9): 1760-1761 (2000) - 1997
- [j7]Joaquín Ezpeleta
, José Manuel Colom
:
Automatic synthesis of colored Petri nets for the control of FMS. IEEE Trans. Robotics Autom. 13(3): 327-337 (1997) - [j6]Enrique Teruel
, José Manuel Colom
, Manuel Silva Suárez:
Choice-free Petri nets: a model for deterministic concurrent systems with bulk services and arrivals. IEEE Trans. Syst. Man Cybern. Part A 27(1): 73-83 (1997) - 1995
- [j5]Serafín Olcoz, José Manuel Colom
:
A Colored Petri Net Model of VHDL. Formal Methods Syst. Des. 7(1/2): 101-123 (1995) - [j4]Joaquín Ezpeleta
, José Manuel Colom
, Javier Martínez:
A Petri net based deadlock prevention policy for flexible manufacturing systems. IEEE Trans. Robotics Autom. 11(2): 173-184 (1995) - 1994
- [j3]Javier Campos
, José Manuel Colom
, Hauke Jungnitz, Manuel Silva Suárez:
Approximate Throughput Computation of Stochastic Marked Graphs. IEEE Trans. Software Eng. 20(7): 526-535 (1994) - 1993
- [j2]Manuel Silva Suárez, José Manuel Colom:
Petri Nets applied to the modelling and analysis of computer architecture problems. Microprocess. Microprogramming 38(1-5): 1-11 (1993) - [j1]Serafín Olcoz, José Manuel Colom:
Analysis tools applied to VHDL. Microprocess. Microprogramming 38(1-5): 597-604 (1993)
Conference and Workshop Papers
- 2024
- [c55]José Manuel Colom:
Harnessing Structure Theory of Petri Nets in Discrete Event System Simulation. Petri Nets 2024: 3-23 - 2022
- [c54]Unai Arronategui
, José Ángel Bañares
, José Manuel Colom
:
A Framework to Support Decision-Making Based on AI and Simulation of Large-Scale Models. GECON 2022: 148-152 - [c53]Tomás Pelayo, Unai Arronategui
, José Ángel Bañares
, José Manuel Colom
:
Design and Implementation of a Compiler for Simulation of Large-Scale Models. GECON 2022: 158-162 - 2021
- [c52]Paul Hodgetts, Hayk Kocharyan, Fidel Reviriego, Álvaro Santamaría, Unai Arronategui
, José Ángel Bañares
, José Manuel Colom
:
Workload Evaluation in Distributed Simulation of DESs. GECON 2021: 3-16 - 2020
- [c51]Unai Arronategui
, José Ángel Bañares
, José Manuel Colom
:
A MDE Approach for Modelling and Distributed Simulation of Health Systems. GECON 2020: 89-103 - 2019
- [c50]Unai Arronategui, José Ángel Bañares, José Manuel Colom:
Towards an Architecture Proposal for Federation of Distributed DES Simulators. GECON 2019: 97-110 - 2018
- [c49]José Ángel Bañares, José Manuel Colom:
Model and Simulation Engines for Distributed Simulation of Discrete Event Systems. GECON 2018: 77-91 - 2016
- [c48]Victor Medel Gracia, Unai Arronategui, José Ángel Bañares
, José Manuel Colom:
Distributed Simulation of Complex and Scalable Systems: From Models to the Cloud. GECON 2016: 304-318 - 2015
- [c47]Alberto Merino, Rafael Tolosana-Calasanz, José Ángel Bañares
, José Manuel Colom:
A Specification Language for Performance and Economical Analysis of Short Term Data Intensive Energy Management Services. GECON 2015: 147-163 - [c46]Alfonso Blesa, Carlos Catalán, Félix Serna, José Manuel Colom, C. Larrea, Josep M. Rams:
Function blocks for the design of control applications based on EtherCAT fieldbus. ICIT 2015: 1876-1883 - [c45]Rafael Tolosana-Calasanz
, José Ángel Bañares
, José Manuel Colom:
On Autonomic Platform-as-a-Service: Characterisation and Conceptual Model. KES-AMSTA 2015: 217-226 - 2014
- [c44]Fernando Tricas, José Manuel Colom, Juan Julián Merelo Guervós
:
Computing Minimal Siphons in Petri Net Models of Resource Allocation Systems: An Evolutionary Approach. PNSE @ Petri Nets 2014: 307-322 - [c43]José Ángel Bañares, Rafael Tolosana-Calasanz, Fernando Tricas, Unai Arronategui, Javier Celaya, José Manuel Colom:
Construction of Data Streams Applications from Functional, Non-Functional and Resource Requirements for Electric Vehicle Aggregators. The COSMOS Vision. PNSE @ Petri Nets 2014: 333-334 - [c42]Simona Bernardi
, José Manuel Colom, Jorge Albareda, Cristian Mahulea
:
A model-based approach for the specification and verification of clinical guidelines. ETFA 2014: 1-8 - [c41]Juan-Pablo López-Grao, José Manuel Colom, Fernando Tricas:
The deadlock problem in the control of Flexible Manufacturing Systems: An overview of the Petri net approach. ETFA 2014: 1-12 - [c40]Rafael Tolosana-Calasanz
, José Ángel Bañares
, José Manuel Colom:
Towards Petri Net-Based Economical Analysis for Streaming Applications Executed Over Cloud Infrastructures. GECON 2014: 189-205 - [c39]José Ignacio Requeno
, José Manuel Colom:
Timed and Probabilistic Model Checking over Phylogenetic Trees. PACBB 2014: 105-112 - 2013
- [c38]Marius Kloetzer
, Cristian Mahulea
, José Manuel Colom
:
Petri net approach for deadlock prevention in robot planning. ETFA 2013: 1-4 - [c37]Asaftei Timotei, José Manuel Colom:
A New Approach to Prevent Deadlock in S3PR Nets with Unreplicable Resources. ICORES 2013: 252-257 - [c36]Asaftei Timotei, José Manuel Colom:
Enforcing Liveness in S3PR Nets by Specialization of Resources. ICORES 2013: 318-321 - [c35]José Ignacio Requeno
, José Manuel Colom
:
Speeding Up Phylogenetic Model Checking. PACBB 2013: 119-126 - 2012
- [c34]Cristian Mahulea
, Juan-Manuel Garcia-Soriano, José Manuel Colom
:
Modular Petri net modeling of the Spanish health system. ETFA 2012: 1-8 - [c33]José Ignacio Requeno
, Roberto Blanco, Gregorio de Miguel Casado, José Manuel Colom
:
Sliced Model Checking for Phylogenetic Analysis. PACBB 2012: 95-103 - [c32]José Ignacio Requeno
, José Manuel Colom
:
Compact Representation of Biological Sequences Using Set Decision Diagrams. PACBB 2012: 231-239 - 2011
- [c31]Félix Serna, Carlos Catalán, Alfonso Blesa
, Josep M. Rams, José Manuel Colom
:
Control software design for a cutting glass machine tool based on the COSME platform. Case study. CASE 2011: 501-506 - [c30]Carlos Catalán, Félix Serna, Alfonso Blesa
, Josep M. Rams, José Manuel Colom
:
Communication types for manufacturing systems. A proposal to distributed control system based on IEC 61499. CASE 2011: 767-772 - [c29]Carlos Catalán, Félix Serna, Alfonso Blesa
, José Manuel Colom
, Josep María Rams:
COSME: A distributed control platform for communicating machine tools in Agile Manufacturing Systems. ETFA 2011: 1-8 - [c28]Juan-Pablo López-Grao, José Manuel Colom
:
On the deadlock analysis of multithreaded control software. ETFA 2011: 1-8 - [c27]Félix Serna, Carlos Catalán, Alfonso Blesa, José Manuel Colom
, Josep María Rams:
"Predictive maintenance surveyor" design pattern for machine tools control software applications. ETFA 2011: 1-7 - [c26]José Ignacio Requeno
, Roberto Blanco, Gregorio de Miguel Casado, José Manuel Colom
:
Phylogenetic Analysis Using an SMV Tool. PACBB 2011: 167-174 - 2010
- [c25]Juan-Pablo López-Grao, José Manuel Colom:
The Resource Allocation Problem in Software Applications: A Petri Net Perspective. ACSD/Petri Nets Workshops 2010: 219-233 - [c24]Carlos A. Rovetto, Elia E. Cano, José Manuel Colom:
Deadlock Control Software for Tow Automated Guided Vehicles using Petri Nets. ACSD/Petri Nets Workshops 2010: 251-265 - [c23]Roberto Blanco, Gregorio de Miguel Casado, José Ignacio Requeno
, José Manuel Colom
:
Temporal logics for phylogenetic analysis via model checking. BIBM Workshops 2010: 152-157 - [c22]Elia E. Cano, Carlos A. Rovetto, José Manuel Colom
:
On the computation of the minimal siphons of S4PR nets from a generating family of siphons. ETFA 2010: 1-8 - [c21]Carlos A. Rovetto, Elia E. Cano, José Manuel Colom
:
Deadlock analysis in minimal adaptive routing algorithms using Petri Nets. SMC 2010: 2619-2626 - [c20]Elia E. Cano, Carlos A. Rovetto, José Manuel Colom:
An algorithm to compute the minimal siphons in S4PR nets. WODES 2010: 15-20 - 2006
- [c19]Juan-Pablo López-Grao, José Manuel Colom:
Resource Allocation Systems: Some Complexity Results on the S4PR Class. FORTE 2006: 323-338 - [c18]Juan-Pablo López-Grao, José Manuel Colom
:
Lender processes competing for shared resources: Beyond the S4PR paradigm. SMC 2006: 3052-3059 - 2005
- [c17]Fernando Tricas, Fernando García-Vallés, José Manuel Colom
, Joaquin Ezpeleta
:
A Petri Net Structure- Based Deadlock Prevention Solution for Sequential Resource Allocation Systems. ICRA 2005: 271-277 - 2003
- [c16]José Manuel Colom:
The Resource Allocation Problem in Flexible Manufacturing Systems. ICATPN 2003: 23-35 - 2000
- [c15]Fernando Tricas, José Manuel Colom, Joaquin Ezpeleta:
Some Improvements to the Banker s Algorithm Based on the Process Structure. ICRA 2000: 2853-2858 - 1999
- [c14]Fernando García-Vallés, José Manuel Colom:
Implicit places in net systems. PNPM 1999: 104-113 - 1998
- [c13]Joaquin Ezpeleta
, Fernando García-Vallés, José Manuel Colom:
A Class of Well Structured Petri Nets for Flexible Manufacturing Systems. ICATPN 1998: 64-83 - 1996
- [c12]Manuel Silva Suárez
, Enrique Teruel, José Manuel Colom:
Linear Algebraic and Linear Programming Techniques for the Analysis of Place or Transition Net Systems. Petri Nets 1996: 309-373 - 1994
- [c11]José Luis Briz, José Manuel Colom:
Implementation of Weighted Place/Transition Nets Based on Linear Enabling Functions. Application and Theory of Petri Nets 1994: 99-118 - 1993
- [c10]Serafín Olcoz, José Manuel Colom:
A Petri Net Approach for the Analysis of VHDL Descriptions. CHARME 1993: 15-26 - [c9]Serafín Olcoz, José Manuel Colom:
Toward a formal semantics of IEEE Std. VHDL 1076. EURO-DAC 1993: 526-531 - [c8]Enrique Teruel, José Manuel Colom, Manuel Silva Suárez:
Modelling and Analysis of Deterministic Concurrent Systems with Bulk Services and Arrivals. Decentralized and Distributed Systems 1993: 213-224 - [c7]Giovanni Chiola, Cosimo Anglano, Javier Campos, José Manuel Colom, Manuel Silva Suárez:
Operational analysis of timed Petri nets and application to the computation of performance bounds. PNPM 1993: 128-137 - [c6]Javier Campos, José Manuel Colom, Hauke Jungnitz, Manuel Silva Suárez:
A general iterative technique for approximate throughput computation of stochastic marked graphs. PNPM 1993: 138-147 - 1992
- [c5]Enrique Teruel
, Piotr Chrzastowski-Wachtel, José Manuel Colom, Manuel Silva Suárez:
On Weighted T-Systems. Application and Theory of Petri Nets 1992: 348-367 - 1989
- [c4]José Manuel Colom, Manuel Silva Suárez:
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 1989: 79-112 - [c3]José Manuel Colom, Manuel Silva Suárez:
Improving the linearly based characterization of P/T nets. Applications and Theory of Petri Nets 1989: 113-145 - [c2]Javier Campos, Giovanni Chiola, José Manuel Colom, Manuel Silva Suárez:
Tight Polynomial Bounds for Steady-State Performance of Marked Graphs. PNPM 1989: 200-209 - 1987
- [c1]Manuel Silva Suárez
, José Manuel Colom:
On the Computation of Structural Synchronic Invariants in P/T Nets. European Workshop on Applications and Theory of Petri Nets 1987: 386-417
Parts in Books or Collections
- 2013
- [p1]Juan-Pablo López-Grao, José Manuel Colom:
Structural Methods for the Control of Discrete Event Dynamic Systems - The Case of the Resource Allocation Problem. Control of Discrete-Event Systems 2013: 257-278
Editorship
- 2013
- [e2]José Manuel Colom
, Jörg Desel:
Application and Theory of Petri Nets and Concurrency - 34th International Conference, PETRI NETS 2013, Milan, Italy, June 24-28, 2013. Proceedings. Lecture Notes in Computer Science 7927, Springer 2013, ISBN 978-3-642-38696-1 [contents] - 2001
- [e1]José Manuel Colom, Maciej Koutny:
Application and Theory of Petri Nets 2001, 22nd International Conference, ICATPN 2001, Newcastle upon Tyne, UK, June 25-29, 2001, Proceedings. Lecture Notes in Computer Science 2075, Springer 2001, ISBN 3-540-42252-8 [contents]
Informal and Other Publications
- 2024
- [i1]Rafael Tolosana-Calasanz, José Ángel Bañares, José Manuel Colom:
Model-driven development of data intensive applications over cloud resources. CoRR abs/2401.17747 (2024)
Coauthor Index
aka: José Ángel Bañares
aka: Manuel Silva Suárez
![](https://dblp1.uni-trier.de/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-06-20 21:28 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint