Publications

Export 33 results:
Sort by: Author Title Type [ Year (Asc)]
Filters: Author is E. Teruel  [Clear All Filters]
1992
[337] Teruel, E, Chrzastowski P, Colom JM, Silva M.  1992.  On Weighted T-Systems. Application and Theory of Petri Nets 1992. :348-367.
[1356] Silva, M, Teruel E, Colom JM.  1992.  Structure Theory of Non Free Choice Systems. Final Report of the ESPRIT Basis Research Action DEMON (Design Methods based on Nets) Covering the Period 18 June 1989 to 18 March 1992. :130-134.
1993
[ICTeSi93] Teruel, E, Silva M.  1993.  Liveness and Home States in Equal Conflict Systems. Application and Theory of Petri Nets 1993. 691:415-432.
[200] Teruel, E, Colom JM, Silva M.  1993.  Modelling and Analysis of Deteministic Concurrent Systems with Bulk Services and Arrivals. Decentralized and Distributed Systems. :213-224.
[1363] Teruel, E, Chrzastowski P, Colom JM, Silva M.  1993.  On Weighted T-Systems. III Jornadas de Concurrencia. :293-312.
[1364] Teruel, E, Colom JM, Silva M.  1993.  Linear Analysis of Deadlock-Freeness of Petri Net Models. III Jornadas de Concurrencia. :175-180.
[199] Teruel, E, Colom JM, Silva M.  1993.  Linear Analysis of Deadlock-Freeness of Petri Net Models. Second European Control Conference, ECC'93. 2:513-518.
[1362] Teruel, E, Colom JM, Silva M.  1993.  Modelling and Analysis of Deterministic Concurrent Systems with Bulk Services and Arrivals. International Conference on Decentralized and Distributed Systems, ICDDS'93.
1994
[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.
[ICTeSi94] Teruel, E, Silva M.  1994.  Well-formedness of Equal Conflict Systems. Application and Theory of Petri Nets 1994. 815:491-510.
[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.
1995
1996
1997
[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.
1998
[ARReTeSi97] Recalde, L, Teruel E, Silva M.  1998.  Modeling and Analysis of Sequential Processes that Cooperate through Buffers. IEEE Trans on Robotics and Automation. 14:267-277.
[ARReTeSi98] Recalde, L, Teruel E, Silva M.  1998.  On Linear Algebraic Techniques for Liveness Analysis of PT Systems. Journal of Circuits Systems and Computers. 8:223-265.
[ICSiTeVaPi98] Silva, M, Teruel E, Valette R, Pingaud H.  1998.  Petri Nets and Production Systems. Lectures on Petri Nets II: Applications. 1492
[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.
[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.
[1340] Colom, JM, Silva M, Teruel E.  1998.  Properties. Systems Engineering: A Petri Net Based Approach to Modelling, Verification and Implementation, HCM-MATCH Advanced Schools. :41-63.
[1341] Colom, JM, Teruel E, Silva M.  1998.  Logical Properties of P/T Systems and their Analysis. Performance Models for Discrete Event Systems with Synchronisations: Formalisms and Analysis Techniques Vol.1, HCM-MATCH Advanced Schools. :185-232.