Publications

Export 65 results:
Sort by: Author Title Type [ Year (Desc)]
Filters: First Letter Of Last Name is V  [Clear All Filters]
2001
[1336] Colom, JM.  2001.  Verificación de propiedades en Redes de Petri. Sistemas Distribuidos: Modelos y Aplicaciones. :99-114.
1998
[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.
[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.
[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.
[ICSiTeVaPi98] Silva, M, Teruel E, Valette R, Pingaud H.  1998.  Petri Nets and Production Systems. Lectures on Petri Nets II: Applications. 1492
1994
[1069] Briz, JL, Colom JM.  1994.  Implementation of Weighted Place/Transition Nets based on Linear Enabling Functions. Application and Theory of Petri Nets 1994. :99-118.
[ICTeSi94] Teruel, E, Silva M.  1994.  Well-formedness of Equal Conflict Systems. Application and Theory of Petri Nets 1994. 815:491-510.
1993
1992
1991
[RP-91-03] Ezpeleta, J, Villarroel JL.  1991.  Knowledge based manufacturing modelling and analysis by integrating Petri nets. :660-668.
[1027] Briz, JL, Colom JM, Viñals V.  1991.  Petri net Based Modelling, Analysis and Simulation of Pipelined Architectures. P.D. COM'91 IMACS-IFAC International Symposium on Parallel and Distributed Computing in Engineering Systems. :37-38.
1990
1989
1988
1987
[ICSilv87] Silva, M.  1987.  Towards a Synchrony Theory for P/T Nets. Concurrency and Nets. :435-460.
1986