Colom, J.-M.

• Lopez-Grao, Juan-Pablo; Colom, Jose-Manuel:
  Resource Allocation Systems: Some Complexity Results on the S4PR Class. 2006.

• López-Grao, Juan-Pablo; Colom, José-Manuel:
  Resource Allocation Systems: Some Complexity Results on the S4PR Class. 2006.

• Garcia-Vallés, F.; Colom, J.M.:
  Structural Analysis of Signal Transition Graphs based on Linear Algebraic Techniques. 2003.

• Colom, J.M.:
  The Resource Allocation Problem in Flexible Manufacturing Systems. 2003.

• Colom, J.M.; Silva, M.; Teruel, E.:
  Petri Nets - Basic Concepts: Properties. 2002.

• Colom, J.M.; Silva, M.; Teruel, E.; Haddad, S.:
  Verification: Structural Methods. 2002.

• Ezpeleta, J.; Tricas, F.; García-Vallés, F.; Colom, J.M.:
  A Banker's Solution for Deadlock Avoidance in FMS With Flexible Routing and Multiresource States. 2002.

• García-Vallés, F.; Colom, J.M.:
  Checking Redundancies in Supervisory Control. A Complexity Result. 2002.

• Colom, J.M.:
  Verificación de propiedades en Redes de Petri. 2001.

• Garcia-Valles, F.; Colom, J.M.; Ezpeleta, J.:
  Comments on ``Deadlock avoidance policy for Petri net modeling of flexible manufacturing systems with shared resources''. 2000.

• Tricas, F.; Colom, J.M.; Ezpeleta, J.:
  Some Improvements to the Bankers Algorithm Based on the Process Structure. 2000.

• Tricas, F.; García, F.; Colom, J.M.; Ezpeleta, J.:
  An Iterative Method for Deadlock Prevention in FMS. 2000.

• Tricas, F.; García, F.; Colom, J.M.; Ezpeleta, J.:
  Structurally Safe Net Systems. 2000.

• Garcia-Valles, F.; Colom, J.M.:
  Implicit places in net systems. 1999.

• Tricas, F.; Colom, J.M.; Ezpeleta, J.:
  A solution to the problem of deadlocks in concurrent systems using Petri nets and integer linear programming. 1999.

• Silva, Manuel; Teruel, Enrique; Colom, José Manuel:
  Linear Algebraic and Linear Programming Techniques for the Analysis of Place/Transition Net Systems. 1998.

• Tricas, F.; García-Vallés, F.; Colom, J.M.; Ezpeleta, J.:
  A Structural Approach to the Problem of Deadlock Prevention in Processes with Resources. 1998.

• Tricas, F.; García-Vallés, F.; Colom, J.M.; Ezpeleta, J.:
  Optimal Control of Discrete Event Systems. 1998.

• Ezpeleta, J.; García-Vallés, F.; Colom, J.M.:
  A Class of Well Structured Petri Nets for Flexible Manufacturing Systems. 1998.

• Teruel, E.; Colom, J.M.; Silva, M.:
  Choice-free Petri Nets: A Model for Deterministic Concurrent Systems with Bulk Services and Arrivals. 1997.

• García-Vallés, F.; Colom, J.M.:
  Structural Analysis of Signal Transition Graphs. 1997.

• Ezpeleta, Joaquín; Colom, José Manuel:
  Automatic Synthesis of Colored Petri Nets for the Control of FMS. 1997.

• Campos, J.; Colom, J.M.; Jungnitz, H.; Silva, M.:
  Approximate Throughput Computation of Stochastic Marked Graphs. 1995.

• Chiola, G.; Anglano, C.; Campos, J.; Colom, J.M.; Silva, M.:
  Operational Analysis of Timed Petri nets and Application to the Computation of Performance Bounds. 1995.

• Ezpeleta, J.; Colom, J.M.; Martínez, J.:
  A Petri net based deadlock prevention policy for flexible manufacturing systems. 1995.

• García-Vallés, F.; Colom, J.M.:
  A Boolean Approach to the State Machine Decomposition of Petri Nets with OBDDs. 1995.

• Olcoz, S.; Colom, J.M.:
  A Colored Petri Net Model of VHDL. 1995.

• Teruel, E.; Colom, J.M.; Silva, M.:
  Deterministic Concurrent Systems with Bulk Services and Arrivals. 1995.

• Teruel, E.; Silva, M.; Colom, J.M.; Campos, J.:
  Functional and Performance Analysis of Cooperating Sequential Proceses. 1995.

• Briz, J.L.; Colom, J.M.:
  Implementation of Weighted Place/Transition Nets based on Linear Enabling Functions. 1994.

• Briz, J.L.; Colom, J.M.:
  Implementation of Weighted Place/Transition Nets based on Linear Enabling Functions. 1994.

• Briz, J.L.; Colom, J.M.; Silva, M.:
  Discrete Event Simulation based on Timed Petri Nets using Linear Enabling Functions. 1994.

• Campos, J.; Colom, J.M.; Jungnitz, H.; Silva, M.:
  Approximate Throughput Computation of Stochastic Marked Graphs. 1994.

• Chiola, G.; Anglano, C.; Campos, J.; Colom, J.M.; Silva, M.:
  Operational Analysis of Timed Petri Nets and Application to the Computation of Performance Bounds. 1994.

• Olcoz, S.; Colom, J.M.:
  VHDL: A Discrete Event Simulation Hardware Description Language. 1994.

• Teruel, E.; Silva, M.; Colom, J.M.; Campos, J.:
  Functional and Performance Analysis of Cooperating Sequential Processes. 1994.

• Campos, J.; Colom, J.M.; Jungnitz, H.; Silva, M.:
  A General Iterative Technique for Approximate Throughput Computation of Stochastic Marked Graphs. 1993.

• Chiola, G.; Anglano, C.; Campos, J.; Colom, J.M.; Silva, M.:
  Operational Analysis of Timed Petri Nets and Application to the Computation of Peformance Bounds. 1993.

• Chiola, G.; Anglano, C.; Campos, J.; Colom, J.M.; Silva, M.:
  Operational Analysis of Timed Petri Nets and Application to the Computation of Performance Bounds. 1993.

• Ezpeleta, J.; Colom, J.M.; Martínez, J.:
  A Petri net based deadlock prevention policy for flexible manufacturing systems. 1993.

• Ezpeleta, J.; Martínez, J.; Colom, J.M.:
  Synthesis of Live High Level Models for a Class of FMS. 1993.

• Olcoz, S.; Colom, J.M.:
  A Framework for Automated Static Analysis of VHDL. 1993.

• Olcoz, S.; Colom, J.M.:
  A Petri Net Approach for the Analysis of VHDL Descriptions. 1993.

• Olcoz, S.; Colom, J.M.:
  Analysis Tools Applied to VHDL. 1993.

• Olcoz, S.; Colom, J.M.:
  Toward a Formal Semantics of IEEE Std. VHDL 1076. 1993.

• Olcoz, S.; Colom, J.M.:
  VHDL Through the Looking Glass. 1993.

• Silva, M.; Colom, J.M.:
  Petri Nets applied to the modelling and analysis of computer architecture problems. 1993.

• Teruel, E.; Colom, J.M.; Silva, M.:
  Linear Analysis of Deadlock-Freeness of Petri Net Models. 1993.

• Teruel, E.; Colom, J.M.; Silva, M.:
  Linear Analysis of Deadlock-Freeness of Petri Net Models. 1993.

• Teruel, E.; Colom, J.M.; Silva, M.:
  Modelling and Analysis of Deterministic Concurrent Systems with Bulk Services and Arrivals. 1993.

• Briz, J.L.; Colom, J.M.; Vinals, V.:
  Petri net Based Modelling, Analysis and Simulation of Pipelined Architectures. 1992.

• Campos, J.; Colom, J.M.; Silva, M.:
  Improving throughput upper bounds for net based models. 1992.

• Silva, M.; Colom, J.M.; Campos, J.:
  Linear Algebraic Techniques for the Analysis of Petri Nets. 1992.

• Silva, M.; Colom, J.M.; Campos, J.:
  Linear Algebraic Techniques for the Analysis of Petri Nets. 1992.

• Teruel, E.; Chrzastowski, P.; Colom, J.M.; Silva, M.:
  On Weighted T-Systems. 1992.

• Campos, J.; Chiola, G.; Colom, J.M.; Silva, M.:
  Properties and Performance Bounds for Timed Marked Graphs. 1992.

• Briz, J.L.; Colom, J.M.; Vinals, V.:
  Petri net Based Modelling, Analysis and Simulation of Pipelined Architectures. 1991.

• Campos, J.; Colom, J.M.:
  A Reachable Throughput Upper Bound for Live and Safe Free Choice Nets. 1991.

• Campos, Javier; Colom, José Maria; Silva, Manuel:
  Improving Throughput Upper Bounds for Net Based Models of Manufacturing Systems. 1991.

• Campos, J.; Colom, J.M.; Silva, M.:
  Improving throughput upper bounds for net based models. 1991.

• Olcoz, S.; Colom, J.M.:
  Petri Net Based Analysis of VHDL Programs. 1991.

• Silva, M.; Colom, J.M.; Campos, J.:
  Linear Algebraic Techniques for the Analysis of Petri Nets. 1991.

• Silva, M.; Colom, J.M.; Campos, J.:
  Linear Algebraic Techniques for the Analysis of Petri Nets. 1991.

• Campos, Javier; Colom, José M.:
  A Reachable Throughput Upper Bound for Live and Safe Free Choice Nets. 1991.

• Campos, J.; Colom, J.M.; Silva, M.:
  Performance Evaluation of Repetitive Automated Manufacturing Systems. 1990.

• Colom, J.M.; Campos, J.; Silva, M.:
  On liveness analysis through linear algebraic techniques. 1990.

• Campos, Javier; Chiola, Giovanni; Colom, José Maria; Silva, Manuel:
  Properties and Performance Bounds for Timed Marked Graphs. 1990.

• Colom, J.M.:
  Análisis estructural de Redes de Petri, programación lineal y geometría convexa. 1989.

• Colom, J.M.; Silva, M.:
  Convex Geometry and Semiflows in P/T Nets. A Comparative Study of Algorithms for Computation of Minimal P-Semiflows. 1989.

• Colom, J.M.; Silva, M.:
  Improving the Linearly Based Characterization of P/T Nets. 1989.

• Colom, J.M.:
  Análisis Estructural de Redes de Petri. Programación Lineal y Geometría Convexa,. 1989.

• Campos, J.; Chiola, G.; Colom, J.M.; Silva, M.:
  Tight Polynomial Bounds for Steady-State Performance of Marked Graphs. 1989.

• Leu, D.J.; Silva, M.; Colom, J.M.; Murata, Tadao:
  Interrelationships among Various Concepts of Fairness for Petri Nets. 1988.

• Silva, M.; Colom, J.M.:
  On the Computation of Structural Synchronic Invariants in P/T Nets. 1988.

• Silva, M.; Colom, J.M.:
  On the computation of structural synchronic invariants in P/T nets. 1988.

• Silva, M.; Colom, J.M.:
  On the structural computation of synchronic invariants in P/T nets. 1987.

• Colom, J.M.; Martinez, J.; Silva Suarez, M.:
  Packages for Validating Discrete Production Systems Modeled with Petri Nets. 1986.

• Colom, J.M.; Martínez, J.; Silva, M.:
  Packages for validating discrete production systems modeled with Petri nets. 1986.

• Colom, J.M.; Silva Suarez, M.; Villaroel, J.L.:
  On Software Implementation of Petri Nets and Coloured Petri Nets Using High Level Concurrent Languages. 1986.

• Colom, J.M.; Silva, M.; Villarroel, J.L.:
  On software implementation of Petri Nets and Colored Petri Nets using high-level concurrent languages. 1986.

• Martinez, J.; Colom, J.M.; Silva Suarez, M.:
  Analisis de Programas Concurrentes Mediante Redes de Petri. 1985.

• Martínez, J.; Colom, J.M.; Silva, M.:
  Análisis de programas concurrentes mediante Redes de Petri. 1985.

Back to the Petri Nets Bibliography