Publications
]
[RP-93-03] .
1993. Qualitative analysis of periodic schedules for deterministically timed Petri net systems. IEICE Transactions.
[1474] .
2013. Quantification and compensation of the impact of faults in system throughput. Proceedings of the Institution of Mechanical Engineers, Part O: Journal of Risk and Reliability. 227(6):28.
[RP-82-01] .
1982. Realización cableada de redes de Petri binarias. 6:151-155.
[1369] .
2011. Rebooting the human mitochondrial phylogeny: an automated and scalable methodology with expert knowledge. BMC Bioinformatics. 12:174(29pp.).
[HiLuMaSDNC] .
2004. Scaled dimension and non uniform complexity. Journal of Computer and System Sciences. 69:97-122.
[sdkcthsR] .
2008. Scaled Dimension and the Kolmogorov Complexity of Turing-Hard Sets. Theory of Computing Systems. 43:471-497.
[RP-92-26] .
1992. Scheduling en celdas autónomas de ensamblaje basado en un algoritmo de tiempo mínimo en RdP. :55-60.
[1532] .
2015. A Semantic Approach for Designing Assistive Software Recommender Systems. Journal of Systems and Software. 104
[1451] .
2012. SimHPN: a MATLAB toolbox for simulation, analysis and design with hybrid Petri nets. Nonlinear Analysis: Hybrid Systems. 6(2):817.
[RP-80-01] .
1980. Simplification des réseaux de Petri par élimination des places implicites. Digital Processes. :245-256.
[RP-82-03] .
1982. Sobre la obtención del conjunto de componentes elementales de una RdPG. 6:155-160.
[MC-LNCS-04] .
2004. Software Performance Modelling Using UML and Petri Nets. Lecture Notes in Computer Science. 2965:265-289.
[1425] .
2012. Special Issue: Computability in Europe 2010. Annals of Pure and Applied Logic. 163(6)
[1305] .
2009. Special Issue: Computation and Logic in the Real World. Theory of Computing Systems. 45(4)
[ARMARARESI08] .
2008. Steady state control reference and token conservation laws in continuous Petri net systems. IEEE Transactions on Automation Science and Engineering. 5:307-320.
[ARJuReSi05] .
2005. Steady-state performance evaluation of continuous mono-T-semiflow Petri nets. Automatica. 41:605-616.
[1494] .
2011. Stochastic Continuous Petri Nets: An Approximation of Markovian Net Models. IEEE Transactions on Systems, Man and Cybernetics, Part A: Systems and Humans. 42(4):641-653.
[ARTeSi96] .
1996. Structure Theory of Equal Conflict Systems. Theoretical Computer Science. 153:271-300.
[ARReTeSi01] .
2001. Structure Theory of Multi Level Deterministically Synchronized Sequential Processes. Theoretical Computer Science. 254:1-33.
[CDS-TSE-99] .
1999. Structured Solution of Asynchronously Communicating Stochastic Modules. IEEE Transactions on Software Engineering. 25:147-165.
[RP-81-01] .
1981. Sur le concept de macroplace et son utilisation pour lanalyse des réseaux de Petri. RAIRO- Automatique. 15:57-67.
[RP-81-02] .
1981. A survey of Petri net related teaching and research in Spain. Newsletter on Petri Nets and Related Systems Models. :5-13.
[RP-79-01] .
1979. Synthèse programmée des automatismes logiques décrits par réseaux de Petri: Une méthode de mise en oeuvre sur microcalculateurs. Rairo-Automatique. 13:369-393.
[1329] .
2006. Synthesis of Asynchronous Controllers using Integer Linear Programming. IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems. 25(9):1637-1651.
[BLV07] .
2007. Tail estimates and a random embedding of l^p_n to l_r^{(1+ε)n}, 0<r<p<2.. Publ. Math. Debrecen. 70
