Publications

Export 33 results:
Sort by: [ Author (Desc)] 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 
C
[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.
[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.
S
[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.
T
[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.
[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.