Teruel, E.

• Recalde, Laura; Silva, Manuel; Ezpeleta, Joaquín; Teruel, Enrique:
  Petri Nets and Manufacturing Systems: An Examples-Driven Tour. 2004.

• Teruel, Enrique; Franceschinis, Giuliana; de Pierro, Massimiliano:
  Well-Defined Generalized Stochastic Petri Nets: A Net-Level Method to Specify Priorities. 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.

• Teruel, E.; Franceschinis, G.; De Pierro, M.:
  Clarifying the priority specification of GSPN: detached priorities. 1999.

• Recalde, Laura; Teruel, Enrique; Silva, Manuel:
  Autonomous Continuous P/T Systems. 1999.

• Recalde, L.; Teruel, E.; Silva, M.:
  On linear algebraic techniques for liveness analysis of P/T system. 1998.

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

• Silva, M.; Teruel, E.; Valette, R.; Pingaud, H.:
  Petri Nets and Production Systems. 1998.

• Mugarza, J.C.; Camus, H.; Gentina, J.-C.; Teruel, E.; Silva, M.:
  Reducing the Computational Complexity of Scheduling Problems in Petri Nets by means of Transformation Rules. 1998.

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

• Recalde, Laura; Teruel, Enrique; Silva, Manuel:
  Transformation and Decomposition Techniques to Improve the Decision Power of the Rank Theorems. 1997.

• Teruel, Enrique; Silva, Manuel:
  Structure Theory of Equal Conflict systems. 1996.

• Recalde, Laura; Teruel, Enrique; Silva, Manuel:
  (SC)^*ECS: A Class of Modular and Hierarchical Cooperating Systems. 1996.

• Best, E.; Devillers, R.; Pelz, E.; Rensink, A.; Silva, M.; Teruel, E.:
  CALIBAN - Esprit Basic Research WG 6067. 1995.

• Recalde, Laura; Teruel, Enrique; Silva, Manuel:
  One Well-formedness Analysis: The Case of Deterministic Systems of Sequential Processes. 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.

• Teruel, E.; Silva, M.:
  Well-formedness of Equal Conflict Systems. 1994.

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

• Teruel, E.:
  Structure Theory of Weighted Place/Transition Net Systems: The Equal Conflict Hiatus. 1994.

• 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.

• Teruel, E.; Silva, M.:
  Liveness and Home States in Equal Conflict Systems. 1993.

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

Back to the Petri Nets Bibliography