Javier Martínez

Phone: 
(+34) 976761953
Email: 
jamarroatunizar [dot] es
Homepage: 
http://webdiis.unizar.es/~jamarro/
Position: 
Ph.D. Member

Publications

1987
[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-02] Martínez, J, Silva M.  1987.  Packages for validating discrete production systems modelled with Petri nets. :529-536.
1986
[RP-86-10] Martínez, J, Silva M.  1986.  Packages for validating discrete production systems modeled with Petri nets. :457-462.
[RP-86-08] Silva, M, Martínez J.  1986.  A software environment for systems design with HLPN and their implementations. :95-127.
[1345] Colom, JM, Martínez J, Silva M.  1986.  Packages for validating discrete production systems modeled with Petri nets. IMACS-IFAC Symposium on Modelling and Simulation for Control of Lumped and Distributed Parameter Systems. :457-462.
[RP-86-02] Martínez, J, Silva M.  1986.  Nuevos métodos para la especificación del control de sistemas flexibles de fabricación. :185-195.
[RP-86-09] Martínez, J, Silva M.  1986.  Specification de la Commande des Ateliers Flexibles à lAide de Réseaux de Petri Colorés. :85-96.
1985
[RP-85-14] Martínez, J, Colom JM.  1985.  .
[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.
[1343] Silva, M, Martínez J, Colom JM.  1985.  STAR: A Software Tool for Validating Concurrent Systems. Programming - KTSG Technical Week. :74-75.
[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.
1984
[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-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.
1983
[RP-83-03] Martínez, J, Silva M.  1983.  Lenguajes de Programación para el Control de Procesos Industriales. :127-137.
[RP-83-01] Martínez, J, Silva M.  1983.  A package for computer design of concurrent logic control systems. :243-248.
1982
[RP-82-06] Martínez, J, Silva M.  1982.  A package for computer design of concurrent logic control systems. :221-226.
[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.
1981
[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-81-06] Martínez, J, Silva M.  1981.  Sobre la obtención del conjunto de componentes elementales de una RdPG. :287-296.