Publications

Export 323 results:
Sort by: Author Title Type [ Year (Asc)]
Filters: First Letter Of Last Name is M  [Clear All Filters]
1987
[RP-87-03] Tardós, Silva M.  1987.  Aproximación a los robots inteligentes. :265-279.
[1344] Colom, JM, Martínez J, Silva M.  1987.  Packages for validating discrete production systems modeled with Petri nets. Applied Modelling and Simulation of Technological Systems. :529-536.
[RP-87-07] Silva, M, Murata T.  1987.  On synchonic distance and B-fair relations for Petri nets. :270-278.
[RP-87-08] Montano, L, Silva M.  1987.  Sistemas modernos de programación de robots. :25-52.
[RP-87-05] Muro, P, Silva M.  1987.  Modeling, Validation and Software Implementation of Production Systems Using High Level Petri Nets. :1180-1185.
1988
[1001] Leu, D, Silva M, Colom JM, Murata T.  1988.  Interrelationships among various concepts of fairness for Petri nets. 31st Midwest Symposium on Circuits and Systems. :1141-1144.
[RP-88-07] Martínez, J, Silva M.  1988.  GRAMAN: A Graphic System for Manufacturing System Design. :79-84.
1989
[RP-89-17] Martínez, J, Silva M.  1989.  GRAMAN: a graphic system for manufacturing system design. :311-316.
[RP-89-13] Villarroel, JL, Martínez J, Muro P, Silva M, Smith SF.  1989.  Merging artificial intelligence techniques and Petri nets for real time scheduling and control of production systems. :307-313.
[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-89-02] Murata, T, Silva M.  1989.  Fair control of discrete event systems via Petri nets. :19-23.
[RP-89-05] Couvreur, JM, Martínez J.  1989.  Linear invariants in commutative high level nets. :96-114.
[RP-89-07] Martínez, J, Silva M.  1989.  A knowledge representation environment for manufacturing control systems design and prototyping. :585-590.
1990
[RP-90-04] Martínez, J, Ezpeleta J.  1990.  The lift example.
[RP-90-05] Martínez, J, Ezpeleta J.  1990.  Flexible manufacturing system.
[RP-90-14] Murata, T, Silva M.  1990.  Petri-Net Based Fairness Concepts for Discrete Event Systems. :549-557.
[1360] Colom, JM, Esparza J, Martínez J, Silva M.  1990.  A first collection of challenging problems: A Flexible Manufacturing System. Proceedings of Design Methods Based on Nets (DEMON). Esprit Basic Research Action 3148. W.G. 6: Case Studies. Deliverables Covering the Period June 1989 to June 1990.
[RP-90-03] Martínez, J, Silva M.  1990.  A first collection of challenging problems: A flexible manufacturing system.
1991
[RP-91-32] Muro, P, Silva M.  1991.  Modelling, validation and software implementation of production systems using high-level Petri nets. :618-623.
[IPMaMuSi87] Martínez, J, Muro P, Silva M.  1991.  Modeling, Validation and Software Implementation of Production Systems Using High Level Petri Nets. High-Level Petri Nets. Theory and Applications. :618-623.
[ICCoMa90] Couvreur, JM, Martínez J.  1991.  Linear Invariants in Commutative High Level Nets. :146-165.
[LMT-91] Luciañez, JM, Merseguer J, Torralba JM.  1991.  Sistemas de ayuda a las decisiones. Metodología de desarrollo de aplicaciones.
[RP-91-10] Ezpeleta, J, Martínez J.  1991.  Petri Nets as a specification language for manufacturing systems.
1992
[BaHeMa92] Balcázar, JL, Hermo M, Mayordomo E.  1992.  Characterizations of logarithmic advice complexity classes. :315-321.
0 icon
92_BHM_IFIP.ps
[AESETPBI] Mayordomo, E.  1992.  Almost every set in exponential time is P-bi-immune. 629:392-400.