Publications
[EzVa-03] A polynomial solution for deadlock avoidance in assembly systems modelled with Petri nets. :1-8.
.
2003.
[1292] Polylog space compression, pushdown compression, and Lempel-Ziv are incomparable. Theory of Computing Systems. 48:731-766.
.
2011.
.
2009.
[GuLuMa06] Points on computable curves. :469–474.
.
2006.
.
1999.
.
1997.
[1551] Planning Mobile Robots with Boolean-based Specifications. CDC'2014: 53rd IEEE Conference on Decision and Control.
.
2014.
[1227] Piecewise-Linear Constrained Control for Timed Continuous Petri Nets. IEEE Conference on Decision and Control.
.
2009.
[1412] PHYSER: An Algorithm to Detect Sequencing Errors from Phylogenetic Information. 6th International Conference on Practical Applications of Computational Biology & Bioinformatics (PACBB 2012).
.
2012.
[1322] Phylogenetic Analysis Using an SMV Tool. 5th International Conference on Practical Applications of Computational Biology & Bioinformatics (PACBB 2011). :167-174.
.
2011.
[RP-90-14] Petri-Net Based Fairness Concepts for Discrete Event Systems. :549-557.
.
1990.
[1519] Petri Nets with Resources for modeling Primary Healthcare Systems. 18th International Conference on System Theory, Control and Computing (ICSTCC 2014).
.
2014.
[RP-92-05] Petri nets in a knowledge representation schema for the coordination of plant elements. :271-276.
.
1992.
[RP-86-03] Petri nets for the specification of FMSs. :389-406.
.
1986.
[IPSiTe96] Petri Nets for the Design and Operation of Manufacturing Systems. :330-343.
.
1996.
[ARReSi00] Petri Nets fluidification revisited Semantics and steady state. APII JESA. 35:435-449.
.
2001.
.
1991.
[RP-92-33] Petri Nets as a specification language for manufacturing systems. :427-436.
.
1992.
[1057] Petri Nets applied to the modelling and analysis of computer architecture problems. Microprocessing and Microprogramming. The EUROMICRO Journal. 38(1):1-11.
.
1993.
[ICSiTeVaPi98] Petri Nets and Production Systems. Lectures on Petri Nets II: Applications. 1492
.
1998.
[ICReSiEzTe04] Petri nets and manufacturing systems: An examples-driven tour. 3098:742-788.
.
2004.
[ARSiRe02] Petri nets and integrality relaxations A view of continuous Petri nets. IEEE Trans on Systems Man and Cybernetics. 32:314-327.
.
2002.
[ICSiVa89] Petri Nets and Flexible Manufacturing. :374-417.
.
1989.
[RP-90-11] Petri Nets and Flexible Manufacturing. 424:374-417.
.
1990.
[C-RR-00-00] Petri Nets.
.
2000.