Publications
Filters: Author is J. Martínez [Clear All Filters]
[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.
[1360] 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.
.
1990.
[IPMaMuSi87] Modeling, Validation and Software Implementation of Production Systems Using High Level Petri Nets. High-Level Petri Nets. Theory and Applications. :618-623.
.
1991.
[1344] Packages for validating discrete production systems modeled with Petri nets. Applied Modelling and Simulation of Technological Systems. :529-536.
.
1987.
[RP-85-08] A language for the description of Concurrent Systems Modeled by Colored Petri nets. Application to the Control of Flexible Manufacturing Systems. :369-388.
.
1985.
[ICCoMa90] Linear Invariants in Commutative High Level Nets. :146-165.
.
1991.
[RP-89-18] Merging Artificial Intelligence Techniques and Petri nets for Time Scheduling and Control of Production Systems. :141-144.
.
1989.
[RP-85-07] Modelling and Validation of Complex Systems modeled by Colored Petri Nets. 188:15-31.
.
1985.
[RP-83-01] A package for computer design of concurrent logic control systems. :243-248.
.
1983.
[RP-87-02] Packages for validating discrete production systems modelled with Petri nets. :529-536.
.
1987.
[RP-92-33] Petri Nets as a specification language for manufacturing systems. :427-436.
.
1992.
[RP-82-02] A simple and fast algorithm to obtain all invariants of a generalized Petri net. :301-310.
.
1982.