On Weighted T-Systems. - Enrique Teruel; Piotr Chrzastowski-Wachtel; José Manuel Colom; Manuel Silva Suárez (Application and Theory of Petri Nets, 1992)

Liveness and Home States in Equal Conflict Systems. - Enrique Teruel; Manuel Silva Suárez (Application and Theory of Petri Nets, 1993)

Modelling and Analysis of Deterministic Concurrent Systems with Bulk Services and Arrivals. - Enrique Teruel; José Manuel Colom; Manuel Silva Suárez (Decentralized and Distributed Systems, 1993)

Well-Formedness of Equal Conflict Systems. - Enrique Teruel; Manuel Silva Suárez (Application and Theory of Petri Nets, 1994)

CALIBAN - Esprit Basic Research WG 6067. - Eike Best; Raymond Devillers; Elisabeth Pelz; Arend Rensink; Manuel Silva 001; Enrique Teruel (STRICT, 1995)

On Well-formedness Analysis: The Case of Deterministic Systems of Sequential Processes. - Laura Recalde; Enrique Teruel; Manuel Silva 001 (STRICT, 1995)

Linear Algebraic and Linear Programming Techniques for the Analysis of Place or Transition Net Systems. - Manuel Silva Suárez; Enrique Teruel; José Manuel Colom (Petri Nets, 1996)

Petri Nets and Production Systems. - Manuel Silva Suárez; Enrique Teruel; Robert Valette; Hervé Pingaud (Petri Nets (2), 1996)

{SC}*ECS: A Class of Modular and Hierarchical Cooperating Systems. - Laura Recalde; Enrique Teruel; Manuel Silva Suárez (Application and Theory of Petri Nets, 1996)

Structure Theory of Equal Conflict Systems. - Enrique Teruel; Manuel Silva Suárez (Theor. Comput. Sci., 1996)

Petri Nets for the Design and Operation of Manufacturing Systems. - Manuel Silva Suárez; Enrique Teruel (Eur. J. Control, 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)

Reducing the computational complexity of scheduling problems in Petri nets by means of transformation rules. - Juan Carlos Mugarza; Hervé Camus; Jean-Claude Gentina; Enrique Teruel; Manuel Silva Suárez (SMC, 1998)

On Linear Algebraic Techniques for Liveness Analysis of P/T Systems. - Laura Recalde; Enrique Teruel; Manuel Silva Suárez (J. Circuits Syst. Comput., 1998)

Modeling and analysis of sequential processes that cooperate through buffers. - Laura Recalde; Enrique Teruel; Manuel Silva Suárez (IEEE Trans. Robotics Autom., 1998)

Autonomous Continuous P/T Systems. - Laura Recalde; Enrique Teruel; Manuel Silva Suárez (ICATPN, 1999)

Clarifying the priority specification of GSPN: Detached priorities. - Enrique Teruel; Giuliana Franceschinis; Massimiliano De Pierro (PNPM, 1999)

Structure theory of multi-level deterministically synchronized sequential processes. - Laura Recalde; Enrique Teruel; Manuel Silva Suárez (Theor. Comput. Sci., 2001)

Petri Nets and Manufacturing Systems: An Examples-Driven Tour. - Laura Recalde; Manuel Silva Suárez; Joaquin Ezpeleta; Enrique Teruel (Lectures on Concurrency and Petri Nets, 2003)

Well-Defined Generalized Stochastic Petri Nets: A Net-Level Method to Specify Priorities. - Enrique Teruel; Giuliana Franceschinis; Massimiliano De Pierro (IEEE Trans. Software Eng., 2003)

Soft-computing models for soot-blowing optimization in coal-fired utility boilers. - Begoña Peña; Enrique Teruel; Luis Ignacio Díez (Appl. Soft Comput., 2011)

A distributed robot swarm control for dynamic region coverage. - Enrique Teruel; Rosario Aragues; Gonzalo López-Nicolás (Robotics Auton. Syst., 2019)

A Practical Method to Cover Evenly a Dynamic Region With a Swarm. - Enrique Teruel; Rosario Aragues; Gonzalo López-Nicolás (IEEE Robotics Autom. Lett., 2021)