Publications
] Filters: First Letter Of Last Name is C [Clear All Filters]
[1092] .
2000. 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.
[C-RR-00-00] .
2000. Petri Nets.
[MCM-JJCC-00] .
2000. Evaluating Performance on Mobile Agents Software Design. :291-307.
[MCM-SEPN-00] .
2000. Performance Evaluation for the Design of Agent Based Systems: A Petri Net Approach. :1-20.
[MCM-WOSP-00] .
2000. A Pattern Based Approach to Model Software Performance. :137-142.
[MCM-LNCS-01] .
2001. A Performance Engineering Case Study: Software Retrieval System. 2047:317-332.
[IPMoHaSeSi01] .
2001. Structural Characterisation and Qualitative Properties of Product Form Stochastic Petri Nets.
[1328] .
2001. Application and Theory of Petri Nets 2001. Lecture Notes in Computer Science. 2075
[1336] .
2001. Verificación de propiedades en Redes de Petri. Sistemas Distribuidos: Modelos y Aplicaciones. :99-114.
[MCM-JJCC-01] .
2001. Web Based Versus Mobile Agent Based Software Retrieval Systems: Performance Comparison. :299-312.
[Cam-EVI-01] .
2001. Evaluación de Prestaciones de Sistemas Concurrentes Modelados con Redes de Petri. :141-156.
[MCM-MSWiM-01] .
2001. Performance Analysis of Internet Based Software Retrieval Systems Using Petri Nets. :47-56.
[1327] .
2002. International Workshop on Discrete Event Systems (WODES'02).
[1334] .
2002. Structural Methods. Petri Nets for Systems Engineering. A Guide to Modeling, Verification, and Applications. :277-316.
[1335] .
2002. Properties. Petri Nets for Systems Engineering. A Guide to Modeling, Verification, and Applications. :53-77.
[1332] .
2002. Checking Redundancies in Supervisory Control. A Complexity Result. 15th Triennial World Congress of the International Federation of Automatic Control (IFAC).
[910] .
2002. 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.
[LGMC-02c] .
2002. Performance Engineering Based on UML and SPNs: A Software Performance Tool. :405-409.
[MBCD-wodes02] .
2002. A Compositional Semantics for UML State Machines Aimed at Performance Evaluation. :295-302.
[LGMC-02b] .
2002. On the Use of Formal Models in Software Performance Evaluation. :367-387.
[1326] .
2003. Petri Net Approaches for Modelling and Validation. Lincom Studies in Computer Science. 1
[1330] .
2003. The Resource Allocation Problem in Flexible Manufacturing Systems. Application and Theory of Petri Nets 2003. :23-35.
[1333] .
2003. Structural Analysis of Signal Transition Graphs based on Linear Algebraic Techniques. Petri Net Approaches for Modelling and Validation. :35-51.
[GUGC-SEIO03] .
2003. Desarrollo de una herramienta de optimización binivel utilizando CPLEX y MATLAB y generación de problemas de prueba. :2931-2944.
[MCM-WINET03] .
2003. Analysing Internet Software Retrieval Systems: Modeling and Performance Comparison. Wireless Networks: The Journal of Mobile Communication Computation and Information. 9:223-238.
