Publications

Export 32 results:
Sort by: Author Title [ Type (Desc)] Year
Filters: First Letter Of Last Name is H  [Clear All Filters]
Conference Paper
[IPMoHaSeSi01] Moreaux, P, Haddad S, Sereno M, Silva M.  2001.  Structural Characterisation and Qualitative Properties of Product Form Stochastic Petri Nets.
0 icon
silva.pdf
Book Chapter
[1339] Colom, JM, Haddad S.  1998.  Introduction to Verification. Systems Engineering: A Petri Net Based Approach to Modelling, Verification and Implementation, HCM-MATCH Advanced Schools. :171-190.
[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.
[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.
[1337] Tricas, F, García-Vallés F, Colom JM, Ezpeleta J.  2005.  Using Linear Programming and the Petri Net Structure for Deadlock Prevention in Sequential Resource Allocation Systems. Actas de las XIII Jornadas de Concurrencia y Sistemas Distribuidos (JCSD’2005). :65-77.
Book
[ICSilv93b] Vernadat, F, Dicesare F, Harhalakis G, Proth JM, Silva M.  1993.  Practice of Petri-nets in manufacturing.
[1324] [Anonymous].  2007.  Proceedings of the International Workshop on Petri Nets and Software Engineering (PNSE’07).