Publications

Export 46 results:
Sort by: [ Author (Asc)] Title Type Year
Filters: Author is J. Martínez  [Clear All Filters]
A B C D E F G H I J K L M N O P Q R S T U V W X Y Z 
M
[RP-85-14] Martínez, J, Colom JM.  1985.  .
E
[1061] Ezpeleta, J, Martínez J, Colom JM.  1993.  Synthesis of Live High Level Models for a Class of FMS. 1993, IEEE International Conference on Systems, Man and Cybernetics. Systems Engineering in the Service of Humans (IEEE/SMC'93). 1:589-594.
[1063] Ezpeleta, J, Colom JM, Martínez J.  1993.  A Petri net based deadlock prevention policy for flexible manufacturing systems. III Jornadas de Concurrencia. :199-233.
[1071] Ezpeleta, J, Colom JM, Martínez J.  1995.  A Petri net based deadlock prevention policy for flexible manufacturing systems. IEEE Transactions on Robotics and Automation. 11(2):173-184.
C
[ICCoMa90] Couvreur, JM, Martínez J.  1991.  Linear Invariants in Commutative High Level Nets. :146-165.
[RP-89-05] Couvreur, JM, Martínez J.  1989.  Linear invariants in commutative high level nets. :96-114.
M
[RP-90-04] Martínez, J, Ezpeleta J.  1990.  The lift example.
[RP-90-05] Martínez, J, Ezpeleta J.  1990.  Flexible manufacturing system.
E
[RP-91-10] Ezpeleta, J, Martínez J.  1991.  Petri Nets as a specification language for manufacturing systems.
[RP-92-09] Ezpeleta, J, Martínez J.  1992.  Formal specification and validation in production plants. :64-73.
[RP-92-33] Ezpeleta, J, Martínez J.  1992.  Petri Nets as a specification language for manufacturing systems. :427-436.
[RP-93-07] Ezpeleta, J, Martínez J.  1993.  Synthesis of live models for a class of FMS. :557-563.
M
[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.
[RP-81-06] Martínez, J, Silva M.  1981.  Sobre la obtención del conjunto de componentes elementales de una RdPG. :287-296.
[RP-81-07] Martínez, J, Silva M.  1981.  A simple and fast algorithm to obtain all invariants of a Generalised Petri Net. :411-421.
[RP-82-02] Martínez, J, Silva M.  1982.  A simple and fast algorithm to obtain all invariants of a generalized Petri net. :301-310.
[RP-82-06] Martínez, J, Silva M.  1982.  A package for computer design of concurrent logic control systems. :221-226.
[RP-83-01] Martínez, J, Silva M.  1983.  A package for computer design of concurrent logic control systems. :243-248.
[RP-83-03] Martínez, J, Silva M.  1983.  Lenguajes de Programación para el Control de Procesos Industriales. :127-137.
[RP-84-04] Martínez, J, Silva M.  1984.  Modelling and validation of complex systems by coloured Petri nets. Application to a flexible manufacturing system. :122-140.
[RP-84-06] Martínez, J, Silva M.  1984.  Especificación y validación del control de sistemas flexibles de fabricación. :235-242.
[RP-84-09] Martínez, J, Silva M.  1984.  A language for the description of concurrent sytems modelled by coloured Petri nets: Application to the control of flexible manufacturing systems. :72-77.
[RP-85-07] Martínez, J, Silva M.  1985.  Modelling and Validation of Complex Systems modeled by Colored Petri Nets. 188:15-31.
[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.
[975] Martínez, J, Colom JM, Silva M.  1985.  Análisis de programas concurrentes mediante Redes de Petri. VI Congreso de Informática y Automática de la AEIA. :519-523.