Publications

Export 133 results:
Sort by: Author Title [ Type (Desc)] Year
Filters: Author is J.M. Colom  [Clear All Filters]
Book Chapter
[907] García-Vallés, F, Tricas F, Ezpeleta J, Colom JM.  2000.  Structuraly Safe Net Systems. Discrete Event Systems. Analysis and Control. :441-448.
[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.
[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.
[1336] Colom, JM.  2001.  Verificación de propiedades en Redes de Petri. Sistemas Distribuidos: Modelos y Aplicaciones. :99-114.
Book
[1327] [Anonymous].  2002.  International Workshop on Discrete Event Systems (WODES'02).
[1326] [Anonymous].  2003.  Petri Net Approaches for Modelling and Validation. Lincom Studies in Computer Science. 1
[1324] [Anonymous].  2007.  Proceedings of the International Workshop on Petri Nets and Software Engineering (PNSE’07).
[1325] [Anonymous].  2005.  Proceedings of the Workshop on Control of Hybrid and Discrete Event Systems.