José Manuel Colom

Elia Esther Cano, Carlos A. Rovetto, José Manuel Colom: An algorithm to compute the minimal siphons in S 4 PR nets. Discrete Event Dynamic Systems 22(4): 403-428 (2012)

Juan-Pablo López-Grao, José Manuel Colom: A Petri Net Perspective on the Resource Allocation Problem in Software Engineering. T. Petri Nets and Other Models of Concurrency 5: 181-200 (2012)

Cristian Mahulea, Juan-Manuel Garcia-Soriano, José Manuel Colom: Modular Petri net modeling of the Spanish health system. ETFA 2012: 1-8

José Ignacio Requeno, Roberto Blanco, Gregorio de Miguel Casado, José Manuel Colom: Sliced Model Checking for Phylogenetic Analysis. PACBB 2012: 95-103

José Ignacio Requeno, José Manuel Colom: Compact Representation of Biological Sequences Using Set Decision Diagrams. PACBB 2012: 231-239

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

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

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

Juan-Pablo López-Grao, José Manuel Colom: On the deadlock analysis of multithreaded control software. ETFA 2011: 1-8

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

José Ignacio Requeno, Roberto Blanco, Gregorio de Miguel Casado, José Manuel Colom: Phylogenetic Analysis Using an SMV Tool. PACBB 2011: 167-174

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

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

Elia E. Cano, Carlos A. Rovetto, José Manuel Colom: On the computation of the minimal siphons of S⁴PR nets from a generating family of siphons. ETFA 2010: 1-8

Carlos A. Rovetto, Elia E. Cano, José Manuel Colom: Deadlock analysis in minimal adaptive routing algorithms using Petri Nets. SMC 2010: 2619-2626

Josep Carmona, José Manuel Colom, Jordi Cortadella, Fernando García-Vallés: Synthesis of asynchronous controllers using integer linear programming. IEEE Trans. on CAD of Integrated Circuits and Systems 25(9): 1637-1651 (2006)

Juan-Pablo López-Grao, José Manuel Colom: Resource Allocation Systems: Some Complexity Results on the S⁴PR Class. FORTE 2006: 323-338

Juan-Pablo López-Grao, José Manuel Colom: Lender processes competing for shared resources: Beyond the S4PR paradigm. SMC 2006: 3052-3059

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

José Manuel Colom: The Resource Allocation Problem in Flexible Manufacturing Systems. ICATPN 2003: 23-35

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 Transactions on Robotics 18(4): 621-625 (2002)

José Manuel Colom, Maciej Koutny (Eds.): 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

Fernando Tricas, José Manuel Colom, Joaquin Ezpeleta: Some Improvements to the Banker s Algorithm Based on the Process Structure. ICRA 2000: 2853-2858

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

Enrique Teruel, José Manuel Colom, Manuel Silva: Choice-free Petri nets: a model for deterministic concurrent systems with bulk services and arrivals. IEEE Transactions on Systems, Man, and Cybernetics, Part A 27(1): 73-83 (1997)

Manuel Silva, 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

Serafín Olcoz, José Manuel Colom: A Colored Petri Net Model of VHDL. Formal Methods in System Design 7(1/2): 101-123 (1995)

Javier Campos, José Manuel Colom, Hauke Jungnitz, Manuel Silva: Approximate Throughput Computation of Stochastic Marked Graphs. IEEE Trans. Software Eng. 20(7): 526-535 (1994)

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

Manuel Silva, José Manuel Colom: Petri Nets applied to the modelling and analysis of computer architecture problems. Microprocessing and Microprogramming 38(1-5): 1-11 (1993)

Serafín Olcoz, José Manuel Colom: Analysis tools applied to VHDL. Microprocessing and Microprogramming 38(1-5): 597-604 (1993)

Serafín Olcoz, José Manuel Colom: A Petri Net Approach for the Analysis of VHDL Descriptions. CHARME 1993: 15-26

Enrique Teruel, José Manuel Colom, Manuel Silva: Modelling and Analysis of Deterministic Concurrent Systems with Bulk Services and Arrivals. Decentralized and Distributed Systems 1993: 213-224

Enrique Teruel, Piotr Chrzastowski-Wachtel, José Manuel Colom, Manuel Silva: On Weighted T-Systems. Application and Theory of Petri Nets 1992: 348-367

José Manuel Colom, Manuel Silva: 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

José Manuel Colom, Manuel Silva: Improving the linearly based characterization of P/T nets. Applications and Theory of Petri Nets 1989: 113-145

Javier Campos, Giovanni Chiola, José Manuel Colom, Manuel Silva: Tight Polynomial Bounds for Steady-State Performance of Marked Graphs. PNPM 1989: 200-209

Manuel Silva, 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