Publications

Export 663 results:
Sort by: Author Title [ Type (Desc)] Year
Book Chapter
[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.
[1433] López-Grao, JP, Colom JM.  2013.  Structural methods for the control of Discrete Event Dynamic Systems – The case of the Resource Allocation Problem. Control of Discrete-Event Systems. Automata and Petri net Perspectives. 433:257-278. Abstract
[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.
[ICEsSi91b] Esparza, J, Silva M.  1991.  Top-Down Synthesis of Live and Bounded Free Choice Nets. Advances in Petri Nets 91. 524:118-139.
[ICSilv87] Silva, M.  1987.  Towards a Synchrony Theory for P/T Nets. Concurrency and Nets. :435-460.
[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.
[ICTeSi94] Teruel, E, Silva M.  1994.  Well-formedness of Equal Conflict Systems. Application and Theory of Petri Nets 1994. 815:491-510.
Book
[BBBCC-QMIPS-94] Baccelli, F, Balbo G, Boucherie RJ, Campos J, Chiola G.  1994.  Annotated Bibliography on Stochastic Petri Nets. 105:25-44.
0 icon
94_BBBCC_QMIPS.ps
[RP-87-03] Tardós, Silva M.  1987.  Aproximación a los robots inteligentes. :265-279.
[RP-84-01] [Anonymous].  1984.  Automática en la Industria (Proceedings Simposium Nacional IFAC).
[RP-91-29] Esparza, J, Silva M.  1991.  Circuits, handles, bridges and nets. 483:210-242.
[RP-91-31] Esparza, J, Silva M.  1991.  Compositional synthesis of live and bounded free-choice nets.
[1505] Seatzu, C, Silva M, van Schuppen J.(ed.).  2013.  Control of Discrete-Event Systems: Automata and Petri-Net Perspectives. Lecture Notes y Control and Information Sciences. 433:478.
[EFDAIT] Mayordomo, E.  2008.  Effective fractal dimension in algorithmic information theory. :259-285.
[EDA-book-95] Campos, J.  1995.  Estructuras de Datos y Algoritmos.
[RP-85-02] [Anonymous].  1985.  Inteligencia Artificial y Robótica Industrial.
[RP-93-10] Silva, M.  1993.  Interleaving functional and performance structural analysis of Net models. 691:17-23.
[1327] [Anonymous].  2002.  International Workshop on Discrete Event Systems (WODES'02).
[RP-87-01] Silva, M.  1987.  Introducción a los Robots Industriales y sus aplicaciones.
[RP-93-57] Silva, M, Vernadat F.  1993.  Introducing Petri Nets.
[SC-MATCH20-98] Silva, M, Campos J.  1998.  Introduction to Net Driven Decomposition Techniques. :693-718.
0 icon
98_SC_MATCH20.ps
[RP-86-04] Silva, M.  1986.  La programación de los robots industriales. Sistemas CAD/CAM/CAE. :259-272.
[RP-80-02] Sifakis, MJ, Silva M.  1980.  A la recherche dune métodologie de conception sure des automatismes logiques basée sur lutilisation des réseaux de Petri. :245-256.