Export 319 results:
Sort by: Author Title [ Type (Desc)] Year
Filters: Author is M. Silva  [Clear All Filters]
Book Chapter
[ICSilv87] Silva, M.  1987.  Towards a Synchrony Theory for P/T Nets. Concurrency and Nets. :435-460.
[ICTeSi94] Teruel, E, Silva M.  1994.  Well-formedness of Equal Conflict Systems. Application and Theory of Petri Nets 1994. 815:491-510.
[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.
[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.
[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.
[RP-85-08] Martínez, J, Silva M.  1985.  A language for the description of Concurrent Systems Modeled by Colored Petri nets. Application to the Control of Flexible Manufacturing Systems. :369-388.
[RP-85-01] Silva, M.  1985.  Las redes de Petri en la Automática y la Informática.
[RP-85-06] Silva, M.  1985.  Lenguajes para la programación de robots industriales. :11-80.
[RP-89-18] Villarroel, JL, Martínez J, Muro P, Silva M, Smith SF.  1989.  Merging Artificial Intelligence Techniques and Petri nets for Time Scheduling and Control of Production Systems. :141-144.
[RP-85-07] Martínez, J, Silva M.  1985.  Modelling and Validation of Complex Systems modeled by Colored Petri Nets. 188:15-31.
[RP-91-32] Muro, P, Silva M.  1991.  Modelling, validation and software implementation of production systems using high-level Petri nets. :618-623.
[RP-93-56] Couvreur, JM, Silva M.  1993.  A new technique for finding a generating family of siphons, traps and st-components. 674:126-147.
[RP-91-18] Esparza, J, Silva M.  1991.  On the Analysis and Synthesis of Free Choice Systems. 483:243-286.
[RP-83-01] Martínez, J, Silva M.  1983.  A package for computer design of concurrent logic control systems. :243-248.
[RP-87-02] Martínez, J, Silva M.  1987.  Packages for validating discrete production systems modelled with Petri nets. :529-536.