Publications
[RP-82-07] Programmable logic controllers and Petri nets: A comparative study. :29-34.
.
1982.
[RP-83-02] Programmable logic controllers and Petri nets: A comparative study. :83-88.
.
1983.
[1306] Programs, Proofs, Processes: Proceedings of the 6th Conference on Computability in Europe, CiE, 2010. 6158
.
2010.
[1335] Properties. Petri Nets for Systems Engineering. A Guide to Modeling, Verification, and Applications. :53-77.
.
2002.
[1340] Properties. Systems Engineering: A Petri Net Based Approach to Modelling, Verification and Implementation, HCM-MATCH Advanced Schools. :41-63.
.
1998.
[CCS-TAC-91] Properties and Performance Bounds for Closed Free Choice Synchronized Monoclass Queueing Networks. IEEE Transactions on Automatic Control. 36:1368-1382.
.
1991.
[258] Properties and Performance Bounds for Timed Marked Graphs. IEEE Transactions on Circuits and Systems I: Fundamental Theory and Applications. 39(5):386-401.
.
1992.
[CCS-Kyoto-89] Properties and Steady State Performance Bounds for Petri Nets with Unique Repetitive Firing Count Vector. :210-220.
.
1989.
.
2008.
[MoEz-03] A Proposal for Flexible Testing of Deadlock Control Strategies in Resource Allocation Systems. :586-595.
.
2003.
[AMMP08] Pushdown compression. :39-48.
.
2008.
[1415] QoS and energy management with Petri nets: a self-adaptive framework. The Journal of Systems & Software. 85(12):15.
.
2012.
[BM-IC-06] QoS assessment via stochastic analysis. IEEE Internet Computing. 10:32-42.
.
2006.
[PMMG-VIDAS10] QoS-Based Model Driven Assessment of Adaptive Reactive Systems. Third International Conference on Software Testing, Verification, and Validation Workshops. :299-308.
.
2010.
[RP-93-03] Qualitative analysis of periodic schedules for deterministically timed Petri net systems. IEICE Transactions.
.
1993.
[1256] Qualitative versus Quantitative Techniques in a Petri net settings. Buletinul Institutului Politehnic din Iasi. Tomul LV (LIX), Fasc. 4:35-46.
.
2009.
[1474] 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.
.
2013.
[262] A Reachable Throughput Upper Bound for Live and Safe Free Choice Nets. 12th International Conference on Application and Theory of Petri Nets. :237-256.
.
1991.
[RP-81-05] Realización cableada de redes de Petri binarias. :265-275.
.
1981.
[RP-82-01] Realización cableada de redes de Petri binarias. 6:151-155.
.
1982.
[RP-81-03] Realización cableada de redes de Petri: Un equipo para prácticas. :215-230.
.
1981.
[1369] Rebooting the human mitochondrial phylogeny: an automated and scalable methodology with expert knowledge. BMC Bioinformatics. 12:174(29pp.).
.
2011.
[RP-90-12] A Rede de Petri: Una Ferramenta para la Automa{\c c}ao Fabril. :181-200.
.
1990.
[RP-80-07] Redes de Petri y validación de sistemas con actividades concurrentes. :xx.
.
1980. .
2004.