# Thesis, Books and Edited proceedings

**B3.** A. Giua, C. Mahulea, M. Silva, J. Zaytoon, (eds.), Proc. of the 3rd IFAC Conference on Analysis and Design of Hybrid Systems (Zaragoza, Spain), September, 2009.
[IFAC-PapersOnLine]

**B2.** C. Mahulea, *"Timed Continuous Petri Nets: Quantitative Analysis, Observability and Control,"* PhD thesis,
University of Zaragoza, Spain, 2007.[pdf]

**B1.** O. Pastravanu, M. Matcovschi, and C. Mahulea, *"Applications of Petri Nets in Studying Discrete Event Systems,"*
"Gh. Asachi" Iasi, ISBN 9738292867, 2002. In Romanian.
[pdf]

# Journal Papers

**J20.** C. Mahulea and M. Kloetzer, "Robot Planning based on Boolean Specifications using Petri Net Models,"
*IEEE Transactions on Automatic Control*, in press. DOI: [10.1109/TAC.2017.2760249] (IF: 5,238; Q1 in AUTOMATION & CONTROL SYSTEMS (JCR2016))

**J19.** C. Mahulea, L. Mahulea, J.M. Garcia-Soriano and J.M. Colom "Modular Petri Net Modeling of Healthcare Systems," *Flexible Services and Manufacturing Journal*, 2017, in press. DOI: [10.1007/s10696-017-9283-9] [draft] (IF: 2,316; Q2 in OPERATIONS RESEARCH & MANAGEMENT SCIENCE (JCR2016))

**J18.** J. Albareda, D. Clavel, C. Mahulea, N. Blanco, L. Ezquerra, J. Gómez, M. Silva, ¿Realizamos bien la programación quirúrgica? ¿Cómo podemos
mejorarla?" - "Do we perform surgical programming well? How can we improve it?," *Revista Española de Cirugía Ortopédica y Traumatología*, vol. 61(6): 375-382, November-December 2017. DOI: [10.1016/j.recot.2017.07.006]

**J17.** A. Giua, C. Mahulea and C. Seatzu, "Decentralized Observability of Discrete Event Systems with
Synchronizations," *Automatica*, vol 85: 468-476, November 2017. DOI: [10.1016/j.automatica.2017.08.009] (IF: 5.451; Q1 in AUTOMATION & CONTROL SYSTEMS (JCR2016))

**J16.** M. Kloetzer and C. Mahulea, "LTL-based Planning in Environments with Probabilistic Observations," *IEEE Transactions on Automation Science and Engineering*, 12(4): 1407 - 1420, October 2015. DOI: [10.1109/TASE.2015.2454299] [draft] (IF: 2.696; Q1 in AUTOMATION & CONTROL SYSTEMS (JCR2015))

**J15.** X. Wang, C. Mahulea and M. Silva, "Diagnosis of Time Petri Nets using Fault Diagnosis Graph,"
*IEEE Transactions on Automatic Control*, 60(9): 2321 - 2335, September 2015. DOI: [10.1109/TAC.2015.2405293] (IF: 2.777; Q1 in AUTOMATION & CONTROL SYSTEMS (JCR2015))

**J14.** M. Kloetzer and C. Mahulea, "A Petri net based approach for multi-robot path planning,"
*Discrete Event Dynamic Systems: Theory and Applications*, 24(4): 417-445, December 2014. DOI: [10.1007/s10626-013-0162-6] [draft] (IF: 1.333; Q1 in MATHEMATICS, APPLIED (JCR2014))

**J13.** J. Julvez, S. Di Cairano, A. Bemporad, and C. Mahulea, "Event-Driven Model Predictive Control of Timed Hybrid Petri Nets,"
*International Journal of Robust and Nonlinear Control*, 24(12): 1724-1742, August 2014. DOI: [10.1002/rnc.2958 draft] (IF: 3.176; Q1 in AUTOMATION & CONTROL SYSTEMS (JCR2014))

**J12.** L. Wang, C. Mahulea, J. Julvez, and M. Silva, "ON/OFF strategy based minimum-time control of continuous Petri nets,"
*Nonlinear Analysis: Hybrid Systems*, vol. 12: 50-65, May 2014. DOI: 10.1016/j.nahs.2013.11.007 [draft] (IF: 2.375; Q1 in AUTOMATION & CONTROL SYSTEMS (JCR2014))

**J11.** H. Apaydin-Ozkan, C. Mahulea, J. Julvez, and M. Silva, "A Control Method for Distributed Continuous Mono-T-Semiflow Petri nets," *International Journal of Control*, 87(2): 223-234, 2014. DOI: 10.1080/00207179.2013.826822 [draft] (IF: 1.654; Q2 in AUTOMATION & CONTROL SYSTEMS (JCR2014))

**J10.** L. Wang, C. Mahulea, J. Julvez, and M. Silva, "Minimum-time Decentralized Control of Choice-Free Continuous Petri Nets,"
*Nonlinear Analysis: Hybrid Systems*, 7(1): 39-53, February 2013. DOI: 10.1016/j.nahs.2012.07.004 [draft] (IF: 1.789; Q1 in MATHEMATICS, APPLIED (JCR2013))

**J9.** C. Mahulea, C. Seatzu, M.P. Cabasino, and M. Silva, "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, July 2012. DOI: 10.1016/j.nahs.2012.07.004 [draft] (IF: 2.183; Q1 in COMPUTER SCIENCE, CYBERNETICS (JCR2012))

**J8.** J. Julvez, C. Mahulea, and C.R. Vazquez, "SimHPN: a MATLAB toolbox for simulation, analysis and design with hybrid Petri nets,"
*Nonlinear Analysis: Hybrid Systems*, 6(2): 806-817, May 2012. DOI: 10.1016/j.nahs.2011.10.001 [draft] (IF: 1.685; Q1 in MATHEMATICS, APPLIED (JCR2012))

**J7.** M. Silva, J. Julvez, C. Mahulea, C.R. Vazquez, "On fluidization of discrete event models: observation and control of continuous Petri nets,"
*Discrete Event Dynamic Systems: Theory and Applications*, 21(4): 427-497, December 2011. DOI: 10.1007/s10626-011-0116-9 [draft] (IF: 0.641; Q3 in AUTOMATION & CONTROL SYSTEMS (JCR2011))

**J6.** H. Apaydin-Ozkan, J. Julvez, C. Mahulea, and M. Silva, "Approaching Minimum Time Control of Timed Continuous Petri nets,"
*Nonlinear Analysis: Hybrid Systems*, 5(2): 136 - 148, May 2011. DOI: 10.1016/j.nahs.2010.04.002 [draft] (IF: 1.685; Q1 in MATHEMATICS, APPLIED (JCR2012))

**J5.** M. Kloetzer, C. Mahulea, C. Belta, and M. Silva, "An Automated Framework for Formal Verification of Timed Continuous Petri Nets,"
*IEEE Transactions on Industrial Informatics*, 6(3): 460 - 471, August 2010. DOI: 10.1109/TII.2010.2050001 [draft] (IF: 1.627; Q1 in AUTOMATION & CONTROL SYSTEMS (JCR2010))

**J4.** C. Mahulea, L. Recalde, and M. Silva, "Observability of continuous Petri nets with infinite server semantics,"
*Nonlinear Analysis: Hybrid Systems*, 4(2): 219-232, May 2010. DOI: 10.1016/j.nahs.2009.06.014 [draft] (IF: 1.685; Q1 in MATHEMATICS, APPLIED (JCR2012))

**J3.** C. Mahulea, L. Recalde, and M. Silva, "Basic Server Semantics and Performance Monotonicity of Continuous Petri Nets,"
*Discrete Event Dynamic Systems: Theory and Applications*, 19(2): 189 - 212, June 2009. DOI: 10.1007/s10626-008-0049-0 [draft] (IF: 0.921; Q2 in MATHEMATICS, APPLIED (JCR2009))

**J2.** C. Mahulea, A. Giua, L. Recalde, C. Seatzu, and M. Silva, "Optimal model predictive control of Timed Continuous Petri nets,"
*IEEE Transactions on Automatic Control*, 53(7): 1731 - 1735, August 2008. DOI: 10.1109/TAC.2008.929386 [draft] (IF: 3.293; Q1 in AUTOMATION & CONTROL SYSTEMS (JCR2008))

**J1.** C. Mahulea, A. Ramirez, L. Recalde, and M. Silva,
"Steady state control reference and token conservation laws in continuous Petri net systems,"
* IEEE Transactions on Automation Science and Engineering*, 5(2): 307-320, April 2008.
DOI: 10.1109/TASE.2007.893504 [draft] (IF: 1.929; Q2 in AUTOMATION & CONTROL SYSTEMS (JCR2008))

# Book Chapters

**BC7.** C.R. Vazquez, C. Mahulea, J. Julvez, and M. Silva, "Introduction to Fluid Petri Nets," In C. Seatzu, M. Silva, J.H. van Schuppen (Eds.), *Control of Discrete-Event Systems. Automata and Petri net Perspectives*, Lecture Notes in Control and Information Sciences, Volume 433, pages 365-386, Springer, Heidelberg (2013). [Springer]

**BC6.** C. Mahulea, J. Julvez, C.R. Vazquez, and M. Silva, "Continuous Petri Nets: Observability and Diagnosis," In C. Seatzu, M. Silva, J.H. van Schuppen (Eds.), *Control of Discrete-Event Systems. Automata and Petri net Perspectives*, Lecture Notes in Control and Information Sciences, Volume 433, pages 387-406, Springer, Heidelberg (2013). [Springer]

**BC5.** J. Julvez, C.R. Vazquez, C. Mahulea, and M. Silva, "Continuous Petri Nets: Controllability and Control," In C. Seatzu, M. Silva, J.H. van Schuppen (Eds.), *Control of Discrete-Event Systems. Automata and Petri net Perspectives*, Lecture Notes in Control and Information Sciences, Volume 433, pages 407-428, Springer, Heidelberg (2013). [Springer]

**BC4.** C. Mahulea, T. Asaftei, M. Matcovschi,
"Manufacturing Systems analysis and design. Qualitative versus Quantitative Techniques in a Petri net settings,"
*Buletinul Institutului Politehnic din Iasi*, Sectia Automatica si Calculatoare, Tomul LV (LIX), Fasc. 4, 2009
pp. 35-46. [pdf]

**BC3.** A. Giua, C. Mahulea, L. Recalde, C. Seatzu, and M. Silva. Optimal Control of timed continuous Petri Nets via explicit MPC. In
* Lecture Notes in Control and Information Sciences (Positive Systems)*, C. Commault, (Ed.), pp. 383-390, Springer Berlin / Heidelberg,
2006, ISBN 978-3-540-34774-3.
[pdf]

**BC2.** O. Pastravanu, M. Matcovschi, and C. Mahulea.
Petri Net Toolbox - teaching discrete event systems under Matlab.
In M. Voicu, editor, *Advances in Automatic Control*, Kluwer International Series in Engineering and Computer Science, Vol. 754, pp. 247-255,
Kluwer Academic Publishers, 2004, ISBN 1-4020-7607-X.
[pdf]

**BC1.** C. Mahulea, L. Barsan, and O. Pastravanu. Matlab tools for Petri-net-based approaches to flexible manufacturing systems.
In *Large Scale Systems: Theory and Applications 2001*, F.G. Filip, I. Dumitrache, S. Iliescu, (Eds.),
IFAC Symposia Series, Elsevier Science, pp. 199-204, 2002, ISBN 0-08-043691-9.
[pdf]

# Conference Papers

**C70.** E. Vitolo, A. San Miguel, J. Civera and C. Mahulea, "Performance Evaluation of the Dyna-Q algorithm for Robot Navigation," In * CASE 2018: 14th IEEE International Conference on Automation Science and Engineering *, Munich, Germany, August 2018. to appear

**C69.** D. Clavel, X. Xie, C. Mahulea and M. Silva, "A Three Steps Approach for Surgery Planning of
Elective and Urgent Patients," In * WODES'2018: 14th Workshop on Discrete Event Systems*, Sorrento Coast, Italy, May-June 2018. to appear

**C68.** E. Vitolo, C. Mahulea and M. Kloetzer, "A Computationally Efficient Solution for Path Planning of Mobile Robots with Boolean Specifications," In * ICSTCC'2017: 21st International Conference on System Theory, Control and Computing*, Sinaia, Romania, October 2017. [DOI]: 10.1109/ICSTCC.2017.8107012

**C67.** R. Gonzalez, M. Kloetzer and C. Mahulea, "Comparative Study of Trajectories Resulted from Cell Decomposition Path Planning Approaches," In * ICSTCC'2017: 21st International Conference on System Theory, Control and Computing*, Sinaia, Romania, October 2017. [DOI]: 10.1109/ICSTCC.2017.8107010

**C66.** D. Clavel, C. Mahulea, J. Albareda and M. Silva, "Towards Efficient Algorithms for Planning Surgeries in Operation Rooms," In * ETFA'2017: 22nd IEEE International Conference on Emerging Technologies and Factory Automation*, Limassol, Chipre, September 2017. [DOI]: 10.1109/ETFA.2017.8247620

**C65.** L. Parrilla, C. Mahulea and M. Kloetzer, "RMTool: recent enhancements," In * IFAC-PapersOnLine*, Volume 50, Issue 1, July 2017, pp. 5824-5830. [DOI]: 10.1016/j.ifacol.2017.08.539

**C64.** L. Parrilla, J. Garcia, J. Albareda and C. Mahulea, "HEAT: A Tool to Develop, Analyze and Monitor
Clinical Pathways," In * ICNSC'2017: 14th IEEE International Conference on Networking, Sensing and Control*, Calabria, Italy, May 2017. [DOI]: 10.1109/ICNSC.2017.8000089

**C63.** D. Clavel, C. Mahulea and M. Silva, "On Liveness Enforcement for DSSP net systems," In * CDC'2016: 55th IEEE Conference on Decision and Control*, Las Vegas, USA, December 2016. [DOI]: 10.1109/CDC.2016.7798864

**C62.** J. Lamarca, M. Kloetzer and C. Mahulea, "Inexpensive robot for experimental validation of planning and control algorithms," In * ICSTCC'2016: 20th International Conference on System Theory, Control and Computing*, Sinaia, Romania, October 2016. [DOI]: 10.1109/ICSTCC.2016.7790715

**C61.** M. Kloetzer, C. Mahulea and A. Burlacu, "Sample Gathering Problem for Different Robots with Limited Capacity," In * ICSTCC'2016: 20th International Conference on System Theory, Control and Computing*, Sinaia, Romania, October 2016. [DOI]: 10.1109/ICSTCC.2016.7790713

**C60.** D. Clavel, C. Mahulea, J. Albareda and M. Silva, "Operation Planning of Elective Patients in an Orthopedic Surgery Department," In * ETFA'2016: 21st IEEE International Conference on Emerging Technologies and Factory Automation*, Berlin, Germany, September 2016. DOI: 10.1109/ETFA.2016.7733623

**C59.** M. Kloetzer and C. Mahulea, "Multi-Robot Path Planning for Syntactically Co-Safe LTL Specifications," In * WODES'2016: 13rd IFAC International Workshop on Discrete Event Systems*, Xi'an, China, May 2016. [DOI]: 10.1109/WODES.2016.7497887

**C58.** X. Wang, M. Kloetzer, C. Mahulea and M. Silva, "Collision avoidance of mobile robots by using initial time delays," In * CDC'2015: 54th IEEE Conference on Decision and Control*, Osaka, Japan, December 2015. [DOI]: 10.1109/CDC.2015.7402221

**C57.** M. Kloetzer, C. Mahulea and R. Gonzalez, "Optimizing Cell Decomposition Path Planning for Mobile Robots Using Different Metrics," In * ICSTCC'2015: 19th International Conference on System Theory, Control and Computing*, Cheile Gradistei, Romania, October 2015. [DOI]: 10.1109/ICSTCC.2015.7321353

**C56.** R. Gonzalez, C. Mahulea and M. Kloetzer, "A Matlab-Based Interactive Simulator for Mobile Robotics," In * CASE'2015: IEEE Int. Conf. on Automation Science and Engineering*, Gothenberg, Sweden, August 2015. [DOI]: 10.1109/CoASE.2015.7294097

**C55.** M. Kloetzer and C. Mahulea, "Accomplish Multi-Robot Tasks Via Petri Net Models," In * CASE'2015: IEEE Int. Conf. on Automation Science and Engineering*, Gothenberg, Sweden, August 2015. [DOI]: 10.1109/CoASE.2015.7294096

**C54.** C. Mahulea and M. Kloetzer, "Planning Mobile Robots with Boolean-based Specifications," In * CDC'2014: 53rd IEEE Conference on Decision and Control*, Los Angeles, California, USA, December 2014. [DOI]: 10.1109/CDC.2014.7040192

**C53.** C. Mahulea, L. Mahulea, J.M. Garcia Soriano and J.M. Colom, "Petri Nets with
Resources for Modeling Primary Healthcare Systems," In * ICSTCC'2014: 18th International Conference on System
Theory, Control and Computing*, Sinaia, Romania, October 2014. [DOI]: 10.1109/ICSTCC.2014.6982489

**C52.** S. Bernardi, J. Albareda, J.M. Colom and C. Mahulea, "A model-based Approach for the Specification and Verification of Clinical Guidelines," In * ETFA'2014: 19th IEEE International Conference on Emerging Technologies and Factory Automation*, Barcelona, Spain, September 2014. [DOI]: 10.1109/ETFA.2014.7005116

**C51.** M. Kloetzer and C. Mahulea, "An Assembly Problem with Mobile Robots," In * ETFA'2014: 19th IEEE International Conference on Emerging Technologies and Factory Automation*, Barcelona, Spain, September 2014. [DOI]: 10.1109/ETFA.2014.7005116

**C50.** X. Wang, C. Mahulea and M. Silva, "Deadlock Prevention Policy for S3PR - Application to Robot Planning," In * ETFA'2014: 19th IEEE International Conference on Emerging Technologies and Factory Automation*, Barcelona, Spain, September 2014. [DOI]: 10.1109/ETFA.2014.7005169]

**C49.** M. Silva and C. Mahulea, "From Discrete to
Continuous Models: A Perspective on Fluidization of Petri
Nets," In * ECC'2014: European Control Conference*, Strasbourg, France, June 2014. DOI: [10.1109/ECC.2014.6862627].

**C48.** X. Wang, C. Mahulea and M. Silva, "Model Checking on Fault Diagnosis Graph," In *IFAC Proceedings Volumes*, Volume 47, Issue 2, 2014, pp. 434-439. DOI: [10.3182/20140514-3-FR-4046.00053].

**C47.** L. Wang, C. Mahulea and M. Silva, "Distributed Model Predictive Control of Timed Continuous Petri nets," In * CDC'2013: 52nd IEEE Conference on Decision and Control*, Florence, Italy, December 2013, pp. 6317-6322. DOI: [10.1109/CDC.2013.6760888].

**C46.** X. Wang, C. Mahulea and M. Silva, "Decentralized Diagnosis Based on Fault Diagnosis Graph," In * ETFA'2013: 18th IEEE International Conference on Emerging Technologies and Factory Automation*, Cagliari, Italy, September 2013. DOI: [10.1109/ETFA.2013.6648060].

**C45.** M. Kloetzer, C. Mahulea and J.M. Colom, "Petri net approach for deadlock prevention in robot planning," In * ETFA'2013: 18th IEEE International Conference on Emerging Technologies and Factory Automation*, Cagliari, Italy, September 2013. DOI: [10.1109/ETFA.2013.6648102].

**C44.** X. Wang, C. Mahulea, and M. Silva, "Fault Diagnosis Graph of Time Petri Nets," In * ECC'13: European Control Conference*, Zurich, Switzerland, July 2013. [IEEExplore].

**C43.** L. Wang, C. Mahulea, and M. Silva , "Minimum-Time Flow Control of Timed Continuous Choice-Free Nets," In * ECC'13: European Control Conference*, Zurich, Switzerland, July 2013. [IEEExplore].

**C42.** M. Kloetzer, and C. Mahulea, "LTL Planning in Dynamic Environments," In *IFAC Proceedings Volumes*, Volume 45, Issue 29, 2012, pp. 294-300. DOI: [10.3182/20121003-3-MX-4033.00048]

**C41.** L. Wang, C. Mahulea, J. Julvez, and M. Silva, "Control of continuous Petri nets using ON/OFF based method," In *IFAC Proceedings Volumes*, Volume 45, Issue 29, 2012, pp. 47-53. DOI: [10.3182/20121003-3-MX-4033.00011]

**C40.** C. Mahulea, J.M. Garcia Soriano, and J.M. Colom, "Modular Petri net modeling of the Spanish Health System," In * ETFA'2012: 17th IEEE International Conference on Emerging Technologies and Factory Automation*, Krakow, Poland, September 2012, pp. 1-8. [IEEExplore]

**C39.** C. Mahulea, and M. Kloetzer, "Online Petri Net Based Algorithm for Planning and Controlling Mobile Robots," In * ETFA'2012: 17th IEEE International Conference on Emerging Technologies and Factory Automation*, Krakow, Poland, September 2012, pp. 1-8. [IEEExplore].

**C38.** M.P. Cabasino, A. Giua, C. Mahulea, and C. Seatzu, "On Decentralized Observability of Discrete Event Systems," In * 50th IEEE Conference on Decision and Control and European Control Conference*, Orlando, Florida, USA, December 2011, pp. 378 - 384. [IEEExplore]

**C37.** M. Silva, and C. Mahulea, "Fluidization and Fluid views of Discrete Event Systems," In * 15th Int. Conf. on System Theory, Control and Computing*, Sinaia, Romania, October 2011, pp. 1-10. [IEEExplore]

**C36.** M. Kloetzer, C. Mahulea, and O. Pastravanu, "A Probabilistic Abstraction Approach for Planning and Controlling Mobile Robots," In * ETFA'2011: 16th IEEE International Conference on Emerging Technologies and Factory Automation*, Toulouse, France, September 2011, pp. 1-8. [IEEExplore]

**C35.** J Julvez, C. Mahulea, and C.R. Vazquez, "Analysis and Simulation of Manufacturing Systems using SimHPN toolbox," In * 7th IEEE Conf. on Automation Science and Engineering*, Trieste, Italy, August 2011, pp. 432 - 437. [IEEExplore]

**C34.** X. Wang, C. Mahulea, J. Julvez, and M. Silva, "On State Estimation of Timed Choice-Free Petri Nets," In *IFAC Proceedings Volumes*, Volume 44, Issue 1, January 2011, pp. 8687-8692. DOI: [10.3182/20110828-6-IT-1002.01523]

**C33.** E. Fraca, J. Julvez, C. Mahulea, and M. Silva, "On Reachability and Deadlock-Freeness of Hybrid Adaptive Petri Nets," In *IFAC Proceedings Volumes*, Volume 44, Issue 1, January 2011, pp. 6048-6053. DOI: [10.3182/20110828-6-IT-1002.00832]

**C32.** L. Wang, C. Mahulea, J. Julvez, and M. Silva, "Decentralized Control of Large Scale Systems Modeled with Continuous Marked Graphs," In *IFAC Proceedings Volumes*, Volume 44, Issue 1, January 2011, pp. 6042-6047. DOI: [10.3182/20110828-6-IT-1002.00859]

**C31.** H. Apaydin-Ozkan, C. Mahulea, J. Julvez, and M. Silva, "An Iterative Control Method for Distributed Continuous Petri Nets," In * 49th IEEE Conference on Decision and Control*, Atlanta, Georgia, USA, December 2010, pp. 6753 - 6758. [IEEExplore]

**C30.** L. Wang, C. Mahulea, J. Julvez, and M. Silva, "Minimum-Time Control for Structurally Persistent Continuous Petri Nets," In * 49th IEEE Conference on Decision and Control*, Atlanta, Georgia, USA, December 2010, pp. 2771 - 2776. [IEEExplore]

**C29.** M. P. Cabasino, C. Seatzu, C. Mahulea, and M. Silva, "Fault diagnosis of manufacturing systems using continuous Petri nets," In * 2010 IEEE International Conference on Systems, Man, and Cybernetics*, Istanbul, Turkey, October 2010, pp. 534 - 539. [IEEExplore]

**C28.** J. Julvez and C. Mahulea, "SimHPN: a MATLAB toolbox for continuous Petri nets," In *IFAC Proceedings Volumes*, Volume 43, Issue 12, 2010, pp. 21-26. DOI: [10.3182/20100830-3-DE-4013.00006]

**C27.** H. Apaydin-Ozkan, J. Julvez, C. Mahulea, and M. Silva, "A Control Method for Timed Distributed Continuous Petri nets," In * 2010 American Control Conference*, Baltimore, MD, USA, June - July 2010, pp. 2593-2600. [IEEExplore]

**C26.** M. Heiner, C. Mahulea, and M. Silva, "On the Importance of the Deadlock Trap Property for Monotonic Liveness," In * Int. Workshop on Biological Processes & Petri Nets (BioPPN), A satellite event of Petri Nets 2010 *, Braga, Portugal, June 2010, pp. 39-54, ISBN: 978-972-8692-53-7. [Proceedings]

**C25.** C. Seatzu, M. P. Cabasino, C. Mahulea, and M. Silva, "New results for fault detection of untimed
continuous Petri nets," In * 48th IEEE Conference on Decision and Control,* Shanghai, P.R. China, December 2009, pp. 6952-6957. [IEEExplore]

**C24.** H. Apaydin-Ozkan, J. Julvez, C. Mahulea, and M. Silva, "An Efficient Heuristics for Minimum Time Control of Continuous Petri nets,"
In *IFAC Proceedings Volumes,* Volume 42, Issue 17, 2009, pp. 44-49. DOI: [10.3182/20090916-3-ES-3003.00009]

**C23.** C. Seatzu, C. Mahulea, M. P. Cabasino, and M. Silva, "Fault diagnoser design for untimed continuous Petri
nets," In * 2009 IEEE Multi-conference on Systems and Control,* Saint Petersburg, Russia, July 2009, pp. 1598-1604.
[pdf]

**C22.** M. Franceschelli, M. Egerstedt, A. Giua, and C. Mahulea, "Constrained Invariant Motions for Networked Multi-Agent Systems," In *
2009 American Control Conference*, St. Louis, Missouri, USA, June 2009, pp. 5749-5754. [IEEExplore]

**C21.** C. Mahulea, C. Seatzu, M. P. Cabasino, L. Recalde, and M. Silva, "Observer Design for Untimed Continuous Petri Nets," In *
2009 American Control Conference*, St. Louis, Missouri, USA, June 2009, pp. 4765 - 4770. [IEEExplore]

**C20.** M. Kloetzer, C. Mahulea, C. Belta, L. Recalde, and M. Silva "Formal analysis of timed continuous Petri nets," In *
47th IEEE Conference on Decision and Control*, Cancun, Mexico, December 2008, pp. 245 - 250.[pdf]

**C19.** C. Mahulea, L. Recalde, and M. Silva, "Observability of Timed Continuous Petri Nets: A Class of Hybrid Systems,"
In * IFAC Proceedings Volumes*, Volume 41, Issue 2, 2008, pp. 519-524. DOI: [10.3182/20080706-5-KR-1001.00088]

**C18.** A. Giua, C. Mahulea, L. Recalde, C. Seatzu and M. Silva, "Properties of continuous Petri nets
controlled via model predictive control,"
In *WODES 08: 9th International Workshop on Discrete Event Systems*,
Gothenburg, Sweden, May 2008, pp. 293 - 299. [pdf]

**C17.** C. Mahulea, M.P. Cabasino, A. Giua, and C. Seatzu, "A State Estimation Problem for Timed Continuous Nets,"
In * 46th IEEE Conference on Decision and Control*, New Orleans, USA, December 2007, pp. 1770 - 1775.
[pdf]

**C16.** M.P. Cabasino, A. Giua, C. Mahulea, L. Recalde, C. Seatzu, and M. Silva, "State Estimation of Petri Nets by Transformation,"
In * 3rd IEEE Conference on Automation Science and Engineering*, Scottsdale, USA, September 2007, pp. 194 - 199.
[pdf]

**C15.** L. Recalde, C. Mahulea, and M. Silva, "Improving analysis and simulation of continuous Petri Nets," In
* 2nd IEEE Conference on Automation Science and Engineering*, Shanghai, China, October 2006, pp. 9 - 14.
[pdf]

**C14.** M. Matcovschi, C. Mahulea, C. Lefter, and O. Pastravanu, "Petri Net Toolbox in Control Engineering Education," In
* 2006 IEEE Conference on Computer Aided Control Systems Design*, pp. 2298-2303, Munich, Germany, October 2006, pp. 2298 - 2303.
[pdf]

**C13.** A. Giua, C. Mahulea, L. Recalde, C. Seatzu and M. Silva, "Optimal Control of timed continuous Petri Nets via model predictive control,"
In *WODES 06: 8th International Workshop on Discrete Event Systems*,
Ann Arbor, USA, July 2006, pp. 235 - 241.
[pdf]

**C12.** C. Mahulea, L. Recalde, and M. Silva, "On performance monotonicity and basic servers semantics of continuous Petri nets,"
In *WODES 06: 8th International Workshop on Discrete Event Systems*,
Ann Arbor, USA, July 2006, pp. 345 - 351.
[pdf]

**C11.** C. Mahulea, A. Giua, L. Recalde, C. Seatzu, and M. Silva, "On sampling continuous timed Petri nets: reachability "equivalence" under infinite servers semantics," In *IFAC Proceedings Volumes*, Volume 39, Issue 5, 2006, pp. 37-43. DOI: [10.3182/20060607-3-IT-3902.00011]

**C10.** C. Mahulea, L. Recalde, and M. Silva, "Optimal Observability for Continuous Petri Nets," In *IFAC Proceedings Volumes*, Volume 38, Issue 1, 2005, pp. 37-42. DOI: [10.3182/20050703-6-CZ-1902.00291]

**C9.** M. Matcovschi, C. Lefter, C. Mahulea, and O. Pastravanu, "Petri Net Toolbox for Matlab in Web-based Analysis and Design of Discrete-event Systems," In
*IFAC Proceedings Volumes*, Volume 38, Issue 1, 2005, pp. 97-102. DOI: [10.3182/20050703-6-CZ-1902.02289]

**C8.** C. Mahulea, A. Ramirez, L. Recalde, and M. Silva, "Steady state control, zero valued poles and token conservation laws in continuous net systems,"
In * CHyDES05: Workshop on Control of Hybrid and Discrete Event Systems*, Miami, USA, June 2005.
[pdf]

**C7.** C. Lefter, C. Mahulea, M. Matcovschi, and O. Pastravanu, "Instruments for Topology-Based Analysis in Petri Net Toolbox,"
In * CONTI04: 6th International Conference on Technical Informatics*, Timisoara, Romania, May 2004.

**C6.** C. Mahulea, M. Matcovschi, and O. Pastravanu, "Role of Animation in Teachware for Control Engineering - A Case Study,"
In *SINTES11: Int. Symposium on
System Theory, Automation, Robotics, Computers, Informatics, Electronics and
Instrumentation*, Craiova, Romania, October 2003.
[pdf]

**C5.** M. Matcovschi, C. Mahulea, and O. Pastravanu,
"Modeling, simulation and analysis of Petri nets in MATLAB,"
In: * 14th International Conference on Control Systems and Computer Science*, Bucharest, Romania, pp 106-111, July 2003.
[pdf]

**C4.** M. Matcovschi, C. Mahulea, and O. Pastravanu, "Petri Net Toolbox for MATLAB," In *MED03: 11th IEEE Mediterranean Conference on Control and Automation*, Rhodes, Greece, 2003. [pdf]

**C3.** M. Matcovschi, and C. Mahulea, "Generalized stochastic Petri nets in performance evaluation for queuing networks," In *
ECIT'2002 and ROSYCS'2002 Joint Conference*, Iasi, Romania, July 2002. [pdf]

**C2.** M. Matcovschi, C. Mahulea, and O. Pastravanu, "Computer Tools for Linear Systems over Max-Plus Algebra," * Periodica Politechnica, "Politehnica" University of Timisoara, Trans. on Automatic Control and Computer Science*, Vol. 47(61), 1, pp. 97-102, 2002.
[pdf]

**C1.** M. Matcovschi, C. Mahulea, and O. Pastravanu, "Exploring structural properties of Petri nets in MATLAB,"
* Periodica Politechnica, University "Gh. Asachi" of Iasi, Trans. on Automatic Control and Computer Science*, Vol. XLVII(LI), 1-4, pp. 15-26, 2001.
[pdf]

# Technical Reports

**R4.** C. Mahulea, L. Mahulea, J.M. Garcia-Soriano, J.M. Colom, "Petri Nets with Resources for Modeling Primary Healthcare Systems," Technical Report RR-14-02, Universidad de Zaragoza, 2014.[pdf]

**R3.** C. Mahulea, M. Kloetzer, "Planning Mobile Robots with Boolean-based Specifications," Technical Report RR-14-01, Universidad de Zaragoza, 2014.[pdf]

**R2.** M. Kloetzer, C. Mahulea, and J.M. Colom, "Petri net approach for deadlock and collision
avoidance in robot planning," Technical Report RR-13-01, Universidad de Zaragoza, 2013.[pdf]

**R1.** M. Kloetzer and C. Mahulea, "Constructing Discrete Event Abstractions for
Planning and Controlling Mobile Robots," Technical Report RR-11-02, Universidad de Zaragoza, 2011.[pdf]