Javier Martínez

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

Publications

1998
[RP-98-02] Tricas, F, Martínez J.  1998.  Distributed control systems simulation using high level Petri nets. Mathematics and Computers in Simulation. 46:47-55.
1995
[RP-95-15] Tricas, F, Martínez J.  1995.  Distributed Systems Simulation using High Level Petri Nets. :227-233.
[RP-95-12] Tricas, F, Martínez J.  1995.  Corrección de programas y redes de Petri de alto nivel. :155-164.
[RP-95-10] Tricas, F, Martínez J.  1995.  Corrección de programas y Redes de Petri de alto nivel. :184-193.
[TricasMartinez95SMC] Tricas, F, Martínez J.  1995.  An Extension of the Liveness Theory for Concurrent Sequential Processes Competing for Shared Resources. :4119-4124.
[RP-95-21] Tricas, F, Martínez J.  1995.  An extension of the liveness theory for concurrent sequential processes competing for shared resources. :4119-4124.
[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.
1993
[RP-93-07] Ezpeleta, J, Martínez J.  1993.  Synthesis of live models for a class of FMS. :557-563.
[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.
1992
[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.
1991
[RP-91-10] Ezpeleta, J, Martínez J.  1991.  Petri Nets as a specification language for manufacturing systems.
[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.
1990
[RP-90-03] Martínez, J, Silva M.  1990.  A first collection of challenging problems: A flexible manufacturing system.
[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-04] Martínez, J, Ezpeleta J.  1990.  The lift example.
[RP-90-05] Martínez, J, Ezpeleta J.  1990.  Flexible manufacturing system.
1989
[RP-89-07] Martínez, J, Silva M.  1989.  A knowledge representation environment for manufacturing control systems design and prototyping. :585-590.
[RP-89-05] Couvreur, JM, Martínez J.  1989.  Linear invariants in commutative high level nets. :96-114.
[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-17] Martínez, J, Silva M.  1989.  GRAMAN: a graphic system for manufacturing system design. :311-316.
1988
[RP-88-07] Martínez, J, Silva M.  1988.  GRAMAN: A Graphic System for Manufacturing System Design. :79-84.