Publications
Filters: Author is J. Martínez [Clear All Filters]
[RP-98-02] Distributed control systems simulation using high level Petri nets. Mathematics and Computers in Simulation. 46:47-55.
.
1998.
[RP-83-03] Lenguajes de Programación para el Control de Procesos Industriales. :127-137.
.
1983.
[RP-86-02] Nuevos métodos para la especificación del control de sistemas flexibles de fabricación. :185-195.
.
1986.
[1071] A Petri net based deadlock prevention policy for flexible manufacturing systems. IEEE Transactions on Robotics and Automation. 11(2):173-184.
.
1995.
.
1985.
[975] Análisis de programas concurrentes mediante Redes de Petri. VI Congreso de Informática y Automática de la AEIA. :519-523.
.
1985.
[RP-95-10] Corrección de programas y Redes de Petri de alto nivel. :184-193.
.
1995.
[RP-95-12] Corrección de programas y redes de Petri de alto nivel. :155-164.
.
1995.
[RP-95-15] Distributed Systems Simulation using High Level Petri Nets. :227-233.
.
1995.
[RP-84-06] Especificación y validación del control de sistemas flexibles de fabricación. :235-242.
.
1984.
[TricasMartinez95SMC] An Extension of the Liveness Theory for Concurrent Sequential Processes Competing for Shared Resources. :4119-4124.
.
1995.
[RP-95-21] An extension of the liveness theory for concurrent sequential processes competing for shared resources. :4119-4124.
.
1995.
.
1990.
[RP-90-05] Flexible manufacturing system.
.
1990.
[RP-92-09] Formal specification and validation in production plants. :64-73.
.
1992.
[RP-88-07] GRAMAN: A Graphic System for Manufacturing System Design. :79-84.
.
1988.
[RP-89-17] GRAMAN: a graphic system for manufacturing system design. :311-316.
.
1989.
[RP-89-07] A knowledge representation environment for manufacturing control systems design and prototyping. :585-590.
.
1989.
[RP-84-09] A language for the description of concurrent sytems modelled by coloured Petri nets: Application to the control of flexible manufacturing systems. :72-77.
.
1984.
[RP-90-04] The lift example.
.
1990.
[RP-89-05] Linear invariants in commutative high level nets. :96-114.
.
1989.
[RP-89-13] Merging artificial intelligence techniques and Petri nets for real time scheduling and control of production systems. :307-313.
.
1989.
[RP-84-04] Modelling and validation of complex systems by coloured Petri nets. Application to a flexible manufacturing system. :122-140.
.
1984.
[RP-82-06] A package for computer design of concurrent logic control systems. :221-226.
.
1982.
[RP-86-10] Packages for validating discrete production systems modeled with Petri nets. :457-462.
.
1986.