Publications
Filters: First Letter Of Last Name is C [Clear All Filters]
[1476] Enforcing Liveness in S3PR Nets by Specialization of Resources. 2nd International Conference on Operations Research and Enterprise Systems (ICORES 2013). :318-321. Abstract
.
2013.
[CCS-TSE-91] Ergodicity and Throughput Bounds of Petri Nets with Unique Consistent Firing Count Vector. IEEE Transactions on Software Engineering. 17:117-125.
.
1991.
[EDA-book-95] Estructuras de Datos y Algoritmos.
.
1995.
[Cam-EVI-01] Evaluación de Prestaciones de Sistemas Concurrentes Modelados con Redes de Petri. :141-156.
.
2001.
[MCM-JJCC-00] Evaluating Performance on Mobile Agents Software Design. :291-307.
.
2000.
.
2003.
[1252] Fault diagnoser design for untimed continuous Petri nets. 2009 IEEE Control Applications (CCA) & Intelligent Control (ISIC).
.
2009.
[1452] Fault Diagnosis of Discrete-Event Systems using Continuous Petri Nets. IEEE Transactions on Systems, Man, and Cybernetics, Part A: Systems and Humans. 42(4):970-984.
.
2012.
[1282] Fault diagnosis of manufacturing systems using continuous Petri nets. 2010 IEEE International Conference on Systems, Man, and Cybernetics.
.
2010.
[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.
[1392] Fractional Positional Notation for Exact Rational Arithmetic. Computability in Europe 2010.
.
2010.
[1062] A Framework for Automated Static Analysis of VHDL. First Asian Pacific Conference on Hardware Description Languages, Standards and Applications (APCHDLSA'93). :71-75.
.
1993.
[LGMC-WOSP02] From UML Activity Diagrams to Stochastic Petri Nets: Application to Software Performance Engineering. :25-36.
.
2004.
[243] Functional and Performance Analysis of Cooperating Sequential Processes. Quantitative Methods in Parallel Systems. :52-65.
.
1995.
[248] Functional and Performance Analysis of Cooperating Sequential Processes. Performance Evaluation of parallel and distributed systems. Solution Methods. :234-251.
.
1994.
[249] Functional and Performance Analysis of Cooperating Sequential Processes. 11th International Conference on Analysis and Optimization Systems. Discrete Event Systems. :169-175.
.
1994.
[246] A General Iterative Technique for Approximate Throughput Computation of Stochastic Marked Graphs. Performance Evaluation of parallel and distributed systems. Solution Methods. :265-283.
.
1994.
[252] A General Iterative Technique for Approximate Throughput Computation of Stochastic Marked Graphs. IEEE 5th International Workshop on Petri Nets and Performance Models (PNPM'93). :138-147.
.
1993.
[RP-89-17] GRAMAN: a graphic system for manufacturing system design. :311-316.
.
1989.
.
2004.
[Cam-TII-10] Guest Editorial: Special Section on Formal Methods in Manufacturing. IEEE Transactions on Industrial Informatics. 6(2):125-126.
.
2010.
[1373] IEC 61499 execution model based on life cycle of function blocks. 15th IEEE International Conference on Emerging Techonologies and Factory Automation (ETFA’2010). Abstract
.
2010.
[1391] II Jornadas sobre Domótica y Automatización Industrial. II Jornadas sobre Domótica y Automatización Industrial.
.
2004.
[1069] Implementation of Weighted Place/Transition Nets based on Linear Enabling Functions. Application and Theory of Petri Nets 1994. :99-118.
.
1994.
[1342] Implicit Places in Net Systems. IEEE 8th International Workshop on Petri Nets and Performance Models (PNPM'99). :104-113.
.
1999.