Publications
[RP-92-34] A rule-Petri net integrated approach for the modeling and analysis of manufacturing systems. :349-358.
.
1992.
[RP-93-07] Synthesis of live models for a class of FMS. :557-563.
.
1993.
[RP-93-21] A distributed algorithm for ressource management. :15-26.
.
1993.
[RP-93-38] A distributed algorithm for resource management. :61-72.
.
1993.
.
1999.
.
2003.
[EzVa-03] A polynomial solution for deadlock avoidance in assembly systems modelled with Petri nets. :1-8.
.
2003.
[EzGP-03] COMPAS: un compilador para un lenguaje imperativo con aserciones embebidas. :47-51.
.
2003.
[EzNB-01] Una herramienta para el estudio de técnicas de de análisis sintáctico. :53-56.
.
2001.
[CZEI-98] Una visión de las posibilidades del estándar OpenGIS para la interoperabilidad de aplicaciones GIS sobre CORBA. :35-40.
.
1998.
[ICCoMa90] Linear Invariants in Commutative High Level Nets. :146-165.
.
1991.
[RP-89-05] Linear invariants in commutative high level nets. :96-114.
.
1989.
[262] A Reachable Throughput Upper Bound for Live and Safe Free Choice Nets. 12th International Conference on Application and Theory of Petri Nets. :237-256.
.
1991.
[907] Structuraly Safe Net Systems. Discrete Event Systems. Analysis and Control. :441-448.
.
2000.
[908] Optimal Control of Discrete Event Systems. International Workshop on Discrete Event Systems, WODES’98. :88-93.
.
1998.
[910] A Banker's Solution for Deadlock Avoidance in FMS with Flexible Routing and Multiresource States. IEEE Transactions on Robotics and Automation. 18(4):621-625.
.
2002.
[911] New Methods for Deadlock Prevention and Avoidance in Concurrent Systems. Actas de las VIII Jornadas de Concurrencia. :97-110.
.
2000.
[912] An Iterative Method for Deadlock Prevention in FMS. Discrete Event Systems. Analysis and Control. :139-148.
.
2000.
[915] A solution to the problem of deadlocks in concurrent systems using Petri nets and integer linear programming. 11th European Simulation Symposium (ESS’99). Simulation in Industry. :542-546.
.
1999.
[917] A Structural Approach to the Problem of Deadlock Prevention in Processes with Resources. International Workshop on Discrete Event Systems, WODES’98. :273-278.
.
1998.
[1027] Petri net Based Modelling, Analysis and Simulation of Pipelined Architectures. P.D. COM'91 IMACS-IFAC International Symposium on Parallel and Distributed Computing in Engineering Systems. :37-38.
.
1991.
[1029] Petri Net Based Analysis of VHDL Programs. Second European Conference on VHDL Methods (EURO-VHDL'91). :1-10.
.
1991.
[1030] Petri Net Based Analysis of VHDL Programs. Segunda Reunión sobre Paralelismo. :115-127.
.
1991.
[1050] Petri net based Modelling, Analysis and Simulation of Pipelined Architectures. Parallel and Distributed Computing in Engineering Systems. :35-40.
.
1992.