Publications

Export 33 results:
Sort by: Author Title Type [ Year (Asc)]
Filters: Author is E. Teruel  [Clear All Filters]
1998
[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.
1999
2001
2002
[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.
2003
2004