Publications
Filters: Author is J. Martínez [Clear All Filters]
[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.
[1345] 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.
.
1986.
[1063] A Petri net based deadlock prevention policy for flexible manufacturing systems. III Jornadas de Concurrencia. :199-233.
.
1993.
.
1991.
[RP-81-07] A simple and fast algorithm to obtain all invariants of a Generalised Petri Net. :411-421.
.
1981.
[RP-81-06] Sobre la obtención del conjunto de componentes elementales de una RdPG. :287-296.
.
1981.
[RP-86-08] A software environment for systems design with HLPN and their implementations. :95-127.
.
1986.
[RP-86-09] Specification de la Commande des Ateliers Flexibles à lAide de Réseaux de Petri Colorés. :85-96.
.
1986.
[1343] STAR: A Software Tool for Validating Concurrent Systems. Programming - KTSG Technical Week. :74-75.
.
1985.
[1061] 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.
.
1993.
[RP-93-07] Synthesis of live models for a class of FMS. :557-563.
.
1993.
[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.