Publications

Export 33 results:
Sort by: [ Author (Asc)] Title Type Year
Filters: Author is E. Teruel  [Clear All Filters]
A B C D E F G H I J K L M N O P Q R S T U V W X Y Z 
T
S
T
[ARTeSi96] Teruel, E, Silva M.  1996.  Structure Theory of Equal Conflict Systems. Theoretical Computer Science. 153:271-300.
[204] Teruel, E, Colom JM, Silva M.  1997.  Choice-free Petri Nets: A Model for Deterministic Concurrent Systems with Bulk Services and Arrivals. IEEE Transactions on Systems, Man and Cybernetics. Part A: Systems and Humans. 27(1):73-83.
S
[ICSiTeVaPi98] Silva, M, Teruel E, Valette R, Pingaud H.  1998.  Petri Nets and Production Systems. Lectures on Petri Nets II: Applications. 1492
T
[243] Teruel, E, Silva M, Colom JM, Campos J.  1995.  Functional and Performance Analysis of Cooperating Sequential Processes. Quantitative Methods in Parallel Systems. :52-65.
[248] Teruel, E, Silva M, Colom JM, Campos J.  1994.  Functional and Performance Analysis of Cooperating Sequential Processes. Performance Evaluation of parallel and distributed systems. Solution Methods. :234-251.
[249] Teruel, E, Silva M, Colom JM, Campos J.  1994.  Functional and Performance Analysis of Cooperating Sequential Processes. 11th International Conference on Analysis and Optimization Systems. Discrete Event Systems. :169-175.
R
T
[ICTeSi94] Teruel, E, Silva M.  1994.  Well-formedness of Equal Conflict Systems. Application and Theory of Petri Nets 1994. 815:491-510.
[337] Teruel, E, Chrzastowski P, Colom JM, Silva M.  1992.  On Weighted T-Systems. Application and Theory of Petri Nets 1992. :348-367.
S
[360] Silva, M, Teruel E.  1994.  Analysis of Autonomous Petri Nets with Bulk Services and Arrivals. 11th Int. Conf. on Analysis and Optimization of Systems. Discrete Event Systems. 199:131-143.
[883] Silva, M, Teruel E, Colom JM.  1998.  Linear Algebraic and Linear Programming Techniques for the Analysis of Place/Transition Net Systems. Lectures on Petri Nets I: Basic Models. Advances in Petri Nets. :309-373.
[SiTe-SMC98] Silva, M, Teruel E.  1998.  DEDS Along Their Life-Cycle: Interpreted Extensions of Petri Nets. IEEE International Conference on Systems, Man and Cybernetics.
C
[1334] Colom, JM, Teruel E, Silva M, Haddad S.  2002.  Structural Methods. Petri Nets for Systems Engineering. A Guide to Modeling, Verification, and Applications. :277-316.
[1335] Colom, JM, Silva M, Teruel E.  2002.  Properties. Petri Nets for Systems Engineering. A Guide to Modeling, Verification, and Applications. :53-77.
[1338] Colom, JM, Haddad S, Silva M, Teruel E.  1998.  Structural Methods. Systems Engineering: A Petri Net Based Approach to Modelling, Verification and Implementation, HCM-MATCH Advanced Schools. :271-315.