Publications

List
Filter

Export 33 results:

Filters: Author is E. Teruel [Clear All Filters]

Book Chapter

[ICSiTeVaPi98] Silva, M, Teruel E, Valette R, Pingaud H. 1998. Petri Nets and Production Systems. Lectures on Petri Nets II: Applications. 1492

98_STVP_LPN.ps

Google Scholar

[1335] Colom, JM, Silva M, Teruel E. 2002. Properties. Petri Nets for Systems Engineering. A Guide to Modeling, Verification, and Applications. :53-77.

Google Scholar

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

Google Scholar

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

Google Scholar

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

Google Scholar

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