Publications
[1328] Application and Theory of Petri Nets 2001. Lecture Notes in Computer Science. 2075
.
2001.
[1336] Verificación de propiedades en Redes de Petri. Sistemas Distribuidos: Modelos y Aplicaciones. :99-114.
.
2001.
[LutMayTPRBM] Twelve problems in resource bounded measure. :83-101.
.
2001.
[DaLaLuMaFSDb] Finite state dimension. 2076:1028-1039.
.
2001.
[MCM-LNCS-01] A Performance Engineering Case Study: Software Retrieval System. 2047:317-332.
.
2001.
[IPJiReSi01] Forrester Diagrams and Continuous Petri Nets A Comparative View. :85-94.
.
2001.
[ARReSi00] Petri Nets fluidification revisited Semantics and steady state. APII JESA. 35:435-449.
.
2001.
[MCM-WOSP-00] A Pattern Based Approach to Model Software Performance. :137-142.
.
2000.
[ZRS-Wod00] A Two Phase Optimisation Strategy for DEDS Application to Manufacturing Systems. :291-298.
.
2000.
[MCM-JJCC-00] Evaluating Performance on Mobile Agents Software Design. :291-307.
.
2000.
[MCM-SEPN-00] Performance Evaluation for the Design of Agent Based Systems: A Petri Net Approach. :1-20.
.
2000.
[C-RR-00-00] Petri Nets.
.
2000.
[1092] Comments on "Deadlock Avoidance Policy for Petri-Net Modeling of Flexible Manufacturing Systems with Shared Resources". IEEE Transactions on Automatic Control. 45(9):1760-1762.
.
2000.
[907] Structuraly Safe Net Systems. Discrete Event Systems. Analysis and Control. :441-448.
.
2000.
[912] An Iterative Method for Deadlock Prevention in FMS. Discrete Event Systems. Analysis and Control. :139-148.
.
2000.
[911] New Methods for Deadlock Prevention and Avoidance in Concurrent Systems. Actas de las VIII Jornadas de Concurrencia. :97-110.
.
2000.
[1088] Some Improvements to the Banker's Algorithm Based on the Process Structure. 2000 IEEE International Conference on Robotics and Automation (ICRA’2000). :2853-2858.
.
2000.
[IPBaReChSi00] Closed Loop live Petri Net Supervisors for Generalized Mutual Exclusion Constraints. :169-180.
.
2000.
[TricasEzpeleta97] A Partial Approach to the Problem of Deadlocks in Processes with Resour ces. :135-150.
.
2000.
.
1999.
[PJC-PNPM99] On State Space Decomposition for the Numerical Analysis of Stochastic Petri Nets. :32-41.
.
1999.
.
1999.
[PJC-JJCC99] On State Space Decomposition for the Numerical Analysis of Stochastic Petri Nets. :249-268.
.
1999.
[CDS-TSE-99] Structured Solution of Asynchronously Communicating Stochastic Modules. IEEE Transactions on Software Engineering. 25:147-165.
.
1999.
[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.