Publications
Filters: First Letter Of Last Name is C [Clear All Filters]
[PJCS-RR69-2005] Approximate Throughput Computation of Stochastic Weighted T-Systems.
.
2005.
[239] Approximate Throughput Computation of Stochastic Marked Graphs. Quantitative Methods in Parallel Systems. :175-188.
.
1995.
[247] Approximate Throughput Computation of Stochastic Marked Graphs. IEEE Transactions on Software Engineering. 20(7):526-535.
.
1994.
[PJCS-96b] Approximate Throughput Computation of a Class of Cooperating Sequential Processes. :382-389.
.
1996.
[1469] Application and Theory of Petri Nets and Concurrency. 34th International Conference, PETRI NETS 2013. 7927
.
2013.
[1328] Application and Theory of Petri Nets 2001. Lecture Notes in Computer Science. 2075
.
2001.
[BBBCC-QMIPS-94] Annotated Bibliography on Stochastic Petri Nets. 105:25-44.
.
1994.
[1522] Analyzing Phylogenetic Treeswith Timed and Probabilistic Model Checking: The Lactose Persistance Case Study. Journal of Integrative Bioinformatics. 11(3)
.
2014.
[1058] Analysis Tools Applied to VHDL. Microprocessing and Microprogramming. The EUROMICRO Journal. 38(1):597-604.
.
1993.
[360] Analysis of Autonomous Petri Nets with Bulk Services and Arrivals. 11th Int. Conf. on Analysis and Optimization of Systems. Discrete Event Systems. 199:131-143.
.
1994.
[MCM-WINET03] Analysing Internet Software Retrieval Systems: Modeling and Performance Comparison. Wireless Networks: The Journal of Mobile Communication Computation and Information. 9:223-238.
.
2003.
[1348] Análisis structural de redes de Petri, programación lineal y geometría convexa. Departamento de Ingeniería Eléctrica e Informática. Tesis Doctoral
.
1989.
[975] Análisis de programas concurrentes mediante Redes de Petri. VI Congreso de Informática y Automática de la AEIA. :519-523.
.
1985.
[1413] An algorithm to compute the minimal siphons in S4PR nets. Discrete Event Dynamic Systems. 22(4):403-428.
.
2012.
[1319] An Algorithm to Compute the Minimal Siphons in $S^4PR$ Nets. 10th International Workshop on Discrete Event Systems (WODES’2010). :18-23.
.
2010.