@book{Pastravanu2002Applications,
  title = {Applications of Petri Nets in Studying Discrete Event Systems},
  author = {O. Pastravanu and M. Matcovschi and C. Mahulea},
  year = {2002},
  url = {./papers/Pastravanu_Aplicatii_retele_Petri.pdf},
}

@phdthesis{Mahulea2007Timed,
  title = {Timed Continuous Petri Nets: Quantitative Analysis, Observability and Control},
  author = {C. Mahulea},
  year = {2007},
  school = {University of Zaragoza},
  url = {./papers/phd_Mahulea.pdf},
}

@proceedings{Giua2009Proceedings,
  title = {Proceedings of the 3rd IFAC Conference on Analysis and Design of Hybrid Systems (Zaragoza, Spain)},
  editor = {A. Giua and C. Mahulea and M. Silva and J. Zaytoon},
  year = {2009},
  doi = {10.3182/20090916-3-ES-3003.90001},
  url = {https://doi.org/10.3182/20090916-3-ES-3003.90001},
}

@book{Mahulea2020Path,
  title = {Path Planning of Cooperative Mobile Robots Using Discrete Event Models},
  author = {C. Mahulea and M. Kloetzer and R. Gonzalez},
  year = {2020},
  publisher = {Wiley-IEEE Press},
  doi = {10.1002/9781119486305},
  url = {https://onlinelibrary.wiley.com/doi/book/10.1002/9781119486305},
}

@book{Mahulea2002BC1,
  title = {BC1},
  year = {2002},
  url = {./papers/LSS01.pdf},
}

@book{Mahulea2004BC2,
  title = {BC2},
  year = {2004},
  url = {./papers/Kluwer_2004.pdf},
}

@book{Mahulea2006BC3,
  title = {BC3},
  year = {2006},
  url = {./papers/06_posta.pdf},
}

@book{Mahulea2009Manufacturing,
  title = {Manufacturing Systems analysis and design. Qualitative versus Quantitative Techniques in a Petri net settings},
  author = {C. Mahulea and T. Asaftei and M. Matcovschi},
  year = {2009},
  url = {./papers/3_F4_09_Mahulea.pdf},
}

@book{Julvez2013Continuous,
  title = {Continuous Petri Nets: Controllability and Control},
  author = {J. Julvez and C.R. Vazquez and C. Mahulea and M. Silva},
  year = {2013},
  doi = {10.1007/978-1-4471-4276-8_20},
  url = {http://link.springer.com/chapter/10.1007/978-1-4471-4276-8_20},
}

@book{Mahulea2013Continuous,
  title = {Continuous Petri Nets: Observability and Diagnosis},
  author = {C. Mahulea and J. Julvez and C.R. Vazquez and M. Silva},
  year = {2013},
  doi = {10.1007/978-1-4471-4276-8_19},
  url = {http://link.springer.com/chapter/10.1007/978-1-4471-4276-8_19},
}

@book{Vazquez2013Introduction,
  title = {Introduction to Fluid Petri Nets},
  author = {C.R. Vazquez and C. Mahulea and J. Julvez and M. Silva},
  year = {2013},
  doi = {10.1007/978-1-4471-4276-8_18},
  url = {http://link.springer.com/chapter/10.1007/978-1-4471-4276-8_18},
}

@inproceedings{Matcovschi2001Exploring,
  title = {Exploring structural properties of Petri nets in MATLAB},
  author = {M. Matcovschi and C. Mahulea and O. Pastravanu},
  year = {2001},
  booktitle = {Periodica Politechnica, University "Gh. Asachi" of Iasi, Trans. on Automatic Control and Computer Science},
  url = {./papers/SACCS.pdf},
}

@inproceedings{Mahulea2005Optimal,
  title = {Optimal Observability for Continuous Petri Nets},
  author = {C. Mahulea and L. Recalde and M. Silva},
  year = {2005},
  booktitle = {IFAC Proceedings Volumes},
  doi = {10.3182/20050703-6-CZ-1902.00291},
  url = {https://doi.org/10.3182/20050703-6-CZ-1902.00291},
}

@inproceedings{Hustiu2025Decomposition,
  title = {Decomposition of LTL specifications via formal concurrency relations in Büchi automata},
  author = {I. Hustiu and M. Kloetzer and C. Mahulea},
  year = {2025},
  booktitle = {ETFA'2025: 30th IEEE Conf. on Emerging Technologies and Factory Automation},
  doi = {10.1109/ETFA65518.2025.11205668},
  url = {https://doi.org/10.1109/ETFA65518.2025.11205668},
}

@inproceedings{Andrei2025Smooth,
  title = {Smooth path planning with safety margins using Piece-Wise Bezier curves},
  author = {I. Andrei and C. Mahulea and M. Kloetzer and C. Dosoftei},
  year = {2025},
  booktitle = {ETFA'2025: 30th IEEE Conf. on Emerging Technologies and Factory Automation},
  doi = {10.1109/ETFA65518.2025.11205537},
  url = {https://doi.org/10.1109/ETFA65518.2025.11205537},
}

@inproceedings{Barb-Ciorbea2025Vehicle,
  title = {Vehicle routing problem with pick-up and delivery tasks in obstacle-cluttered environment},
  author = {M.A. Barb-Ciorbea and M. Koetzer and C. Mahulea},
  year = {2025},
  booktitle = {ICSTCC 2025: 29th International Conference on System Theory, Control and Computing},
  doi = {10.1109/ICSTCC66753.2025.11240286},
  url = {https://doi.org/10.1109/ICSTCC66753.2025.11240286},
}

@inproceedings{Salanova2025HighLevel,
  title = {High-Level Multi-Robot Trajectory Planning And Spurious Behavior Detection},
  author = {F. Salanova and J. Roche and C. Mahulea and E. Montijano},
  year = {2025},
  booktitle = {ROBOT 2025: Eight Iberian Robotics Conference},
}

@inproceedings{Mahulea2006On,
  title = {On sampling continuous timed Petri nets: reachability},
  author = {C. Mahulea and A. Giua and L. Recalde and C. Seatzu and M. Silva},
  year = {2006},
  booktitle = {IFAC Proceedings Volumes},
  doi = {10.3182/20060607-3-IT-3902.00011},
  url = {https://doi.org/10.3182/20060607-3-IT-3902.00011},
}

@inproceedings{Mahulea2006On,
  title = {On performance monotonicity and basic servers semantics of continuous Petri nets},
  author = {C. Mahulea and L. Recalde and M. Silva},
  year = {2006},
  booktitle = {WODES 06: 8th International Workshop on Discrete Event Systems},
  url = {./papers/06_wodes_monotonicity.pdf},
}

@inproceedings{Giua2006Optimal,
  title = {Optimal Control of timed continuous Petri Nets via model predictive control},
  author = {A. Giua and C. Mahulea and L. Recalde and C. Seatzu and M. Silva},
  year = {2006},
  booktitle = {WODES 06: 8th International Workshop on Discrete Event Systems},
  url = {./papers/06_wodes_mpc.pdf},
}

@inproceedings{Matcovschi2006Petri,
  title = {Petri Net Toolbox in Control Engineering Education},
  author = {M. Matcovschi and C. Mahulea and C. Lefter and O. Pastravanu},
  year = {2006},
  booktitle = {2006 IEEE Conference on Computer Aided Control Systems Design},
  url = {./papers/06_CACSD.pdf},
}

@inproceedings{Recalde2006Improving,
  title = {Improving analysis and simulation of continuous Petri Nets},
  author = {L. Recalde and C. Mahulea and M. Silva},
  year = {2006},
  booktitle = {2nd IEEE Conference on Automation Science and Engineering},
  url = {./papers/06_CASE.pdf},
}

@inproceedings{Cabasino2007State,
  title = {State Estimation of Petri Nets by Transformation},
  author = {M.P. Cabasino and A. Giua and C. Mahulea and L. Recalde and C. Seatzu and M. Silva},
  year = {2007},
  booktitle = {3rd IEEE Conference on Automation Science and Engineering},
  url = {./papers/07_CASE.pdf},
}

@inproceedings{Mahulea2007A,
  title = {A State Estimation Problem for Timed Continuous Nets},
  author = {C. Mahulea and M.P. Cabasino and A. Giua and C. Seatzu},
  year = {2007},
  booktitle = {46th IEEE Conference on Decision and Control},
  url = {./papers/07_CDC.pdf},
}

@inproceedings{Giua2008Properties,
  title = {Properties of continuous Petri nets controlled via model predictive control},
  author = {A. Giua and C. Mahulea and L. Recalde and C. Seatzu and M. Silva},
  year = {2008},
  booktitle = {WODES 08: 9th International Workshop on Discrete Event Systems},
  url = {./papers/08_WODES.pdf},
}

@inproceedings{Mahulea2008Observability,
  title = {Observability of Timed Continuous Petri Nets: A Class of Hybrid Systems},
  author = {C. Mahulea and L. Recalde and M. Silva},
  year = {2008},
  booktitle = {IFAC Proceedings Volumes},
  doi = {10.3182/20080706-5-KR-1001.00088},
  url = {https://doi.org/10.3182/20080706-5-KR-1001.00088},
}

@inproceedings{Matcovschi2002Computer,
  title = {Computer Tools for Linear Systems over Max-Plus Algebra},
  author = {M. Matcovschi and C. Mahulea and O. Pastravanu},
  year = {2002},
  booktitle = {Periodica Politechnica, "Politehnica" University of Timisoara, Trans. on Automatic Control and Computer Science},
  url = {./papers/A1g_03.pdf},
}

@inproceedings{Kloetzer2008Formal,
  title = {Formal analysis of timed continuous Petri nets},
  author = {M. Kloetzer and C. Mahulea and C. Belta and L. Recalde and M. Silva},
  year = {2008},
  booktitle = {47th IEEE Conference on Decision and Control},
  url = {http://ieeexplore.ieee.org/stamp/stamp.jsp?arnumber=4739054&isnumber=4738560},
}

@inproceedings{Mahulea2009Observer,
  title = {Observer Design for Untimed Continuous Petri Nets},
  author = {C. Mahulea and C. Seatzu and M. P. Cabasino and L. Recalde and M. Silva},
  year = {2009},
  booktitle = {2009 American Control Conference},
  url = {http://ieeexplore.ieee.org/stamp/stamp.jsp?tp=&arnumber=5159893&isnumber=5159764},
}

@inproceedings{Franceschelli2009Constrained,
  title = {Constrained Invariant Motions for Networked Multi-Agent Systems},
  author = {M. Franceschelli and M. Egerstedt and A. Giua and C. Mahulea},
  year = {2009},
  booktitle = {2009 American Control Conference},
  url = {http://ieeexplore.ieee.org/stamp/stamp.jsp?tp=&arnumber=5160191&isnumber=5159764},
}

@inproceedings{Seatzu2009Fault,
  title = {Fault diagnoser design for untimed continuous Petri nets},
  author = {C. Seatzu and C. Mahulea and M. P. Cabasino and M. Silva},
  year = {2009},
  booktitle = {2009 IEEE Multi-conference on Systems and Control},
  url = {./papers/09_msc_final.pdf},
}

@inproceedings{Apaydin-Ozkan2009An,
  title = {An Efficient Heuristics for Minimum Time Control of Continuous Petri nets},
  author = {H. Apaydin-Ozkan and J. Julvez and C. Mahulea and M. Silva},
  year = {2009},
  booktitle = {IFAC Proceedings Volumes},
  doi = {10.3182/20090916-3-ES-3003.00009},
  url = {https://doi.org/10.3182/20090916-3-ES-3003.00009},
}

@inproceedings{Seatzu2009New,
  title = {New results for fault detection of untimed continuous Petri nets},
  author = {C. Seatzu and M. P. Cabasino and C. Mahulea and M. Silva},
  year = {2009},
  booktitle = {48th IEEE Conference on Decision and Control},
  url = {http://ieeexplore.ieee.org/stamp/stamp.jsp?tp=&arnumber=5400035},
}

@inproceedings{Heiner2010On,
  title = {On the Importance of the Deadlock Trap Property for Monotonic Liveness},
  author = {M. Heiner and C. Mahulea and M. Silva},
  year = {2010},
  booktitle = {Int. Workshop on Biological Processes & Petri Nets (BioPPN), A satellite event of Petri Nets 2010},
  url = {http://www-dssz.informatik.tu-cottbus.de/publications/BioPPN_2010/BioPPN_braga_2010_proceedings.pdf},
}

@inproceedings{Apaydin-Ozkan2010A,
  title = {A Control Method for Timed Distributed Continuous Petri nets},
  author = {H. Apaydin-Ozkan and J. Julvez and C. Mahulea and M. Silva},
  year = {2010},
  booktitle = {2010 American Control Conference},
  url = {http://ieeexplore.ieee.org/stamp/stamp.jsp?tp=&arnumber=5530546},
}

@inproceedings{Julvez2010SimHPN,
  title = {SimHPN: a MATLAB toolbox for continuous Petri nets},
  author = {J. Julvez and C. Mahulea},
  year = {2010},
  booktitle = {IFAC Proceedings Volumes},
  doi = {10.3182/20100830-3-DE-4013.00006},
  url = {https://doi.org/10.3182/20100830-3-DE-4013.00006},
}

@inproceedings{Cabasino2010Fault,
  title = {Fault diagnosis of manufacturing systems using continuous Petri nets},
  author = {M. P. Cabasino and C. Seatzu and C. Mahulea and M. Silva},
  year = {2010},
  booktitle = {2010 IEEE International Conference on Systems, Man, and Cybernetics},
  url = {http://ieeexplore.ieee.org/stamp/stamp.jsp?tp=&arnumber=5642021},
}

@inproceedings{Matcovschi2002Generalized,
  title = {Generalized stochastic Petri nets in performance evaluation for queuing networks},
  author = {M. Matcovschi and C. Mahulea},
  year = {2002},
  booktitle = {ECIT'2002 and ROSYCS'2002 Joint Conference},
  url = {./papers/ECIT2002.pdf},
}

@inproceedings{Wang2010MinimumTime,
  title = {Minimum-Time Control for Structurally Persistent Continuous Petri Nets},
  author = {L. Wang and C. Mahulea and J. Julvez and M. Silva},
  year = {2010},
  booktitle = {49th IEEE Conference on Decision and Control},
  url = {http://ieeexplore.ieee.org/stamp/stamp.jsp?tp=&arnumber=5717999},
}

@inproceedings{Apaydin-Ozkan2010An,
  title = {An Iterative Control Method for Distributed Continuous Petri Nets},
  author = {H. Apaydin-Ozkan and C. Mahulea and J. Julvez and M. Silva},
  year = {2010},
  booktitle = {49th IEEE Conference on Decision and Control},
  url = {http://ieeexplore.ieee.org/stamp/stamp.jsp?tp=&arnumber=5717618},
}

@inproceedings{Wang2011Decentralized,
  title = {Decentralized Control of Large Scale Systems Modeled with Continuous Marked Graphs},
  author = {L. Wang and C. Mahulea and J. Julvez and M. Silva},
  year = {2011},
  booktitle = {IFAC Proceedings Volumes},
  doi = {10.3182/20110828-6-IT-1002.00859},
  url = {https://doi.org/10.3182/20110828-6-IT-1002.00859},
}

@inproceedings{Fraca2011On,
  title = {On Reachability and Deadlock-Freeness of Hybrid Adaptive Petri Nets},
  author = {E. Fraca and J. Julvez and C. Mahulea and M. Silva},
  year = {2011},
  booktitle = {IFAC Proceedings Volumes},
  doi = {10.3182/20110828-6-IT-1002.00832},
  url = {https://doi.org/10.3182/20110828-6-IT-1002.00832},
}

@inproceedings{Wang2011On,
  title = {On State Estimation of Timed Choice-Free Petri Nets},
  author = {X. Wang and C. Mahulea and J. Julvez and M. Silva},
  year = {2011},
  booktitle = {IFAC Proceedings Volumes},
  doi = {10.3182/20110828-6-IT-1002.01523},
  url = {https://doi.org/10.3182/20110828-6-IT-1002.01523},
}

@inproceedings{Julvez2011Analysis,
  title = {Analysis and Simulation of Manufacturing Systems using SimHPN toolbox},
  author = {J Julvez and C. Mahulea and C.R. Vazquez},
  year = {2011},
  booktitle = {7th IEEE Conf. on Automation Science and Engineering},
  url = {http://ieeexplore.ieee.org/stamp/stamp.jsp?tp=&arnumber=6042500},
}

@inproceedings{Kloetzer2011A,
  title = {A Probabilistic Abstraction Approach for Planning and Controlling Mobile Robots},
  author = {M. Kloetzer and C. Mahulea and O. Pastravanu},
  year = {2011},
  booktitle = {ETFA'2011: 16th IEEE International Conference on Emerging Technologies and Factory Automation},
  url = {http://ieeexplore.ieee.org/stamp/stamp.jsp?tp=&arnumber=6059088},
}

@inproceedings{Silva2011Fluidization,
  title = {Fluidization and Fluid views of Discrete Event Systems},
  author = {M. Silva and C. Mahulea},
  year = {2011},
  booktitle = {15th Int. Conf. on System Theory, Control and Computing},
  url = {http://ieeexplore.ieee.org/stamp/stamp.jsp?tp=&arnumber=6085649},
}

@inproceedings{Cabasino2011On,
  title = {On Decentralized Observability of Discrete Event Systems},
  author = {M.P. Cabasino and A. Giua and C. Mahulea and C. Seatzu},
  year = {2011},
  booktitle = {50th IEEE Conference on Decision and Control and European Control Conference},
  url = {http://ieeexplore.ieee.org/stamp/stamp.jsp?tp=&arnumber=6161269},
}

@inproceedings{Mahulea2012Online,
  title = {Online Petri Net Based Algorithm for Planning and Controlling Mobile Robots},
  author = {C. Mahulea and M. Kloetzer},
  year = {2012},
  booktitle = {ETFA'2012: 17th IEEE International Conference on Emerging Technologies and Factory Automation},
  url = {http://ieeexplore.ieee.org/stamp/stamp.jsp?tp=&arnumber=6489598},
}

@inproceedings{Matcovschi2003Petri,
  title = {Petri Net Toolbox for MATLAB},
  author = {M. Matcovschi and C. Mahulea and O. Pastravanu},
  year = {2003},
  booktitle = {MED03: 11th IEEE Mediterranean Conference on Control and Automation},
  url = {./papers/MED_2003.pdf},
}

@inproceedings{Mahulea2012Modular,
  title = {Modular Petri net modeling of the Spanish Health System},
  author = {C. Mahulea and J.M. Garcia Soriano and J.M. Colom},
  year = {2012},
  booktitle = {ETFA'2012: 17th IEEE International Conference on Emerging Technologies and Factory Automation},
  url = {http://ieeexplore.ieee.org/stamp/stamp.jsp?tp=&arnumber=6489599},
}

@inproceedings{Wang2012Control,
  title = {Control of continuous Petri nets using ON/OFF based method},
  author = {L. Wang and C. Mahulea and J. Julvez and M. Silva},
  year = {2012},
  booktitle = {IFAC Proceedings Volumes},
  doi = {10.3182/20121003-3-MX-4033.00011},
  url = {https://doi.org/10.3182/20121003-3-MX-4033.00011},
}

@inproceedings{Kloetzer2012LTL,
  title = {LTL Planning in Dynamic Environments},
  author = {M. Kloetzer and C. Mahulea},
  year = {2012},
  booktitle = {IFAC Proceedings Volumes},
  doi = {10.3182/20121003-3-MX-4033.00048},
  url = {https://doi.org/10.3182/20121003-3-MX-4033.00048},
}

@inproceedings{Wang2013MinimumTime,
  title = {Minimum-Time Flow Control of Timed Continuous Choice-Free Nets},
  author = {L. Wang and C. Mahulea and M. Silva},
  year = {2013},
  booktitle = {ECC'13: European Control Conference},
  url = {http://ieeexplore.ieee.org/stamp/stamp.jsp?tp=&arnumber=6669548},
}

@inproceedings{Wang2013Fault,
  title = {Fault Diagnosis Graph of Time Petri Nets},
  author = {X. Wang and C. Mahulea and M. Silva},
  year = {2013},
  booktitle = {ECC'13: European Control Conference},
  doi = {10.23919/ECC.2013.6669417},
  url = {https://doi.org/10.23919/ECC.2013.6669417},
}

@inproceedings{Kloetzer2013Petri,
  title = {Petri net approach for deadlock prevention in robot planning},
  author = {M. Kloetzer and C. Mahulea and J.M. Colom},
  year = {2013},
  booktitle = {ETFA'2013: 18th IEEE International Conference on Emerging Technologies and Factory Automation},
  doi = {10.1109/ETFA.2013.6648102},
  url = {https://doi.org/10.1109/ETFA.2013.6648102},
}

@inproceedings{Wang2013Decentralized,
  title = {Decentralized Diagnosis Based on Fault Diagnosis Graph},
  author = {X. Wang and C. Mahulea and M. Silva},
  year = {2013},
  booktitle = {ETFA'2013: 18th IEEE International Conference on Emerging Technologies and Factory Automation},
  doi = {10.1109/ETFA.2013.6648060},
  url = {https://doi.org/10.1109/ETFA.2013.6648060},
}

@inproceedings{Wang2013Distributed,
  title = {Distributed Model Predictive Control of Timed Continuous Petri nets},
  author = {L. Wang and C. Mahulea and M. Silva},
  year = {2013},
  booktitle = {CDC'2013: 52nd IEEE Conference on Decision and Control},
  doi = {10.1109/CDC.2013.6760888},
  url = {https://doi.org/10.1109/CDC.2013.6760888},
}

@inproceedings{Wang2014Model,
  title = {Model Checking on Fault Diagnosis Graph},
  author = {X. Wang and C. Mahulea and M. Silva},
  year = {2014},
  booktitle = {IFAC Proceedings Volumes},
  doi = {10.3182/20140514-3-FR-4046.00053},
  url = {https://doi.org/10.3182/20140514-3-FR-4046.00053},
}

@inproceedings{Silva2014From,
  title = {From Discrete to Continuous Models: A Perspective on Fluidization of Petri Nets},
  author = {M. Silva and C. Mahulea},
  year = {2014},
  booktitle = {ECC'2014: European Control Conference},
  doi = {10.1109/ECC.2014.6862627},
  url = {https://doi.org/10.1109/ECC.2014.6862627},
}

@inproceedings{Matcovschi2003Modeling,
  title = {Modeling, simulation and analysis of Petri nets in MATLAB},
  author = {M. Matcovschi and C. Mahulea and O. Pastravanu},
  year = {2003},
  booktitle = {14th International Conference on Control Systems and Computer Science},
  url = {./papers/CSCS_2003.pdf},
}

@inproceedings{Wang2014Deadlock,
  title = {Deadlock Prevention Policy for S3PR - Application to Robot Planning},
  author = {X. Wang and C. Mahulea and M. Silva},
  year = {2014},
  booktitle = {ETFA'2014: 19th IEEE International Conference on Emerging Technologies and Factory Automation},
  doi = {10.1109/ETFA.2014.7005169},
  url = {https://dx.doi.org/10.1109/ETFA.2014.7005169},
}

@inproceedings{Kloetzer2014An,
  title = {An Assembly Problem with Mobile Robots},
  author = {M. Kloetzer and C. Mahulea},
  year = {2014},
  booktitle = {ETFA'2014: 19th IEEE International Conference on Emerging Technologies and Factory Automation},
  doi = {10.1109/ETFA.2014.7005116},
  url = {https://dx.doi.org/10.1109/ETFA.2014.7005116},
}

@inproceedings{Bernardi2014A,
  title = {A model-based Approach for the Specification and Verification of Clinical Guidelines},
  author = {S. Bernardi and J. Albareda and J.M. Colom and C. Mahulea},
  year = {2014},
  booktitle = {ETFA'2014: 19th IEEE International Conference on Emerging Technologies and Factory Automation},
  doi = {10.1109/ETFA.2014.7005058},
  url = {https://dx.doi.org/10.1109/ETFA.2014.7005058},
}

@inproceedings{Mahulea2014Petri,
  title = {Petri Nets with Resources for Modeling Primary Healthcare Systems},
  author = {C. Mahulea and L. Mahulea and J.M. Garcia Soriano and J.M. Colom},
  year = {2014},
  booktitle = {ICSTCC'2014: 18th International Conference on System Theory, Control and Computing},
  doi = {10.1109/ICSTCC.2014.6982489},
  url = {https://dx.doi.org/10.1109/ICSTCC.2014.6982489},
}

@inproceedings{Mahulea2014Planning,
  title = {Planning Mobile Robots with Boolean-based Specifications},
  author = {C. Mahulea and M. Kloetzer},
  year = {2014},
  booktitle = {CDC'2014: 53rd IEEE Conference on Decision and Control},
  doi = {10.1109/CDC.2014.7040192},
  url = {https://dx.doi.org/10.1109/CDC.2014.7040192},
}

@inproceedings{Kloetzer2015Accomplish,
  title = {Accomplish Multi-Robot Tasks Via Petri Net Models},
  author = {M. Kloetzer and C. Mahulea},
  year = {2015},
  booktitle = {CASE'2015: IEEE Int. Conf. on Automation Science and Engineering},
  doi = {10.1109/CoASE.2015.7294096},
  url = {https://dx.doi.org/10.1109/CoASE.2015.7294096},
}

@inproceedings{Gonzalez2015A,
  title = {A Matlab-Based Interactive Simulator for Mobile Robotics},
  author = {R. Gonzalez and C. Mahulea and M. Kloetzer},
  year = {2015},
  booktitle = {CASE'2015: IEEE Int. Conf. on Automation Science and Engineering},
  doi = {10.1109/CoASE.2015.7294097},
  url = {https://dx.doi.org/10.1109/CoASE.2015.7294097},
}

@inproceedings{Kloetzer2015Optimizing,
  title = {Optimizing Cell Decomposition Path Planning for Mobile Robots Using Different Metrics},
  author = {C. Mahulea and M. Kloetzer and R. Gonzalez},
  year = {2015},
  booktitle = {ICSTCC'2015: 19th International Conference on System Theory, Control and Computing},
  doi = {10.1109/ICSTCC.2015.7321353},
  url = {https://dx.doi.org/10.1109/ICSTCC.2015.7321353},
}

@inproceedings{Wang2015Collision,
  title = {Collision avoidance of mobile robots by using initial time delays},
  author = {X. Wang and M. Kloetzer and C. Mahulea and M. Silva},
  year = {2015},
  booktitle = {CDC'2015: 54th IEEE Conference on Decision and Control},
  doi = {10.1109/CDC.2015.7402221},
  url = {https://dx.doi.org/10.1109/CDC.2015.7402221},
}

@inproceedings{Kloetzer2016MultiRobot,
  title = {Multi-Robot Path Planning for Syntactically Co-Safe LTL Specifications},
  author = {M. Kloetzer and C. Mahulea},
  year = {2016},
  booktitle = {WODES'2016: 13rd IFAC International Workshop on Discrete Event Systems},
  doi = {10.1109/WODES.2016.7497887},
  url = {https://dx.doi.org/10.1109/WODES.2016.7497887},
}

@inproceedings{Mahulea2003Role,
  title = {Role of Animation in Teachware for Control Engineering - A Case Study},
  author = {C. Mahulea and M. Matcovschi and O. Pastravanu},
  year = {2003},
  booktitle = {SINTES11: Int. Symposium on System Theory, Automation, Robotics, Computers, Informatics, Electronics and Instrumentation},
  url = {./papers/Sintes11.pdf},
}

@inproceedings{Clavel2016Operation,
  title = {Operation Planning of Elective Patients in an Orthopedic Surgery Department},
  author = {D. Clavel and C. Mahulea and J. Albareda and M. Silva},
  year = {2016},
  booktitle = {ETFA'2016: 21st IEEE International Conference on Emerging Technologies and Factory Automation},
  doi = {10.1109/ETFA.2016.7733623},
  url = {https://doi.org/10.1109/ETFA.2016.7733623},
}

@inproceedings{Kloetzer2016Sample,
  title = {Sample Gathering Problem for Different Robots with Limited Capacity},
  author = {M. Kloetzer and C. Mahulea and A. Burlacu},
  year = {2016},
  booktitle = {ICSTCC'2016: 20th International Conference on System Theory, Control and Computing},
  doi = {10.1109/ICSTCC.2016.7790713},
  url = {https://dx.doi.org/10.1109/ICSTCC.2016.7790713},
}

@inproceedings{Lamarca2016Inexpensive,
  title = {Inexpensive robot for experimental validation of planning and control algorithms},
  author = {J. Lamarca and M. Kloetzer and C. Mahulea},
  year = {2016},
  booktitle = {ICSTCC'2016: 20th International Conference on System Theory, Control and Computing},
  doi = {10.1109/ICSTCC.2016.7790715},
  url = {https://dx.doi.org/10.1109/ICSTCC.2016.7790715},
}

@inproceedings{Clavel2016On,
  title = {On Liveness Enforcement for DSSP net systems},
  author = {D. Clavel and C. Mahulea and M. Silva},
  year = {2016},
  booktitle = {CDC'2016: 55th IEEE Conference on Decision and Control},
  doi = {10.1109/CDC.2016.7798864},
  url = {https://dx.doi.org/ 10.1109/CDC.2016.7798864},
}

@inproceedings{Parrilla2017HEAT,
  title = {HEAT: A Tool to Develop, Analyze and Monitor Clinical Pathways},
  author = {L. Parrilla and J. Garcia and J. Albareda and C. Mahulea},
  year = {2017},
  booktitle = {ICNSC'2017: 14th IEEE International Conference on Networking, Sensing and Control},
  doi = {10.1109/ICNSC.2017.8000089},
  url = {https://doi.org/10.1109/ICNSC.2017.8000089},
}

@inproceedings{Parrilla2017RMTool,
  title = {RMTool: recent enhancements},
  author = {L. Parrilla and C. Mahulea and M. Kloetzer},
  year = {2017},
  booktitle = {IFAC-PapersOnLine},
  doi = {10.1016/j.ifacol.2017.08.539},
  url = {https://doi.org/10.1016/j.ifacol.2017.08.539},
}

@inproceedings{Clavel2017Towards,
  title = {Towards Efficient Algorithms for Planning Surgeries in Operation Rooms},
  author = {D. Clavel and C. Mahulea and J. Albareda and M. Silva},
  year = {2017},
  booktitle = {ETFA'2017: 22nd IEEE International Conference on Emerging Technologies and Factory Automation},
  doi = {10.1109/ETFA.2017.8247620},
  url = {https://doi.org/10.1109/ETFA.2017.8247620},
}

@inproceedings{Gonzalez2017Comparative,
  title = {Comparative Study of Trajectories Resulted from Cell Decomposition Path Planning Approaches},
  author = {R. Gonzalez and M. Kloetzer and C. Mahulea},
  year = {2017},
  booktitle = {ICSTCC'2017: 21st International Conference on System Theory, Control and Computing},
  doi = {10.1109/ICSTCC.2017.8107010},
  url = {https://doi.org/10.1109/ICSTCC.2017.8107010},
}

@inproceedings{Vitolo2017A,
  title = {A Computationally Efficient Solution for Path Planning of Mobile Robots with Boolean Specifications},
  author = {E. Vitolo and C. Mahulea and M. Kloetzer},
  year = {2017},
  booktitle = {ICSTCC'2017: 21st International Conference on System Theory, Control and Computing},
  doi = {10.1109/ICSTCC.2017.8107012},
  url = {https://doi.org/10.1109/ICSTCC.2017.8107012},
}

@inproceedings{Clavel2018A,
  title = {A Three Steps Approach for Surgery Planning of Elective and Urgent Patients},
  author = {D. Clavel and X. Xie and C. Mahulea and M. Silva},
  year = {2018},
  booktitle = {IFAC-PapersOnLine},
  doi = {10.1016/j.ifacol.2018.06.308},
  url = {https://doi.org/10.1016/j.ifacol.2018.06.308},
}

@inproceedings{Lefter2004Instruments,
  title = {Instruments for Topology-Based Analysis in Petri Net Toolbox},
  author = {C. Lefter and C. Mahulea and M. Matcovschi and O. Pastravanu},
  year = {2004},
  booktitle = {CONTI04: 6th International Conference on Technical Informatics},
}

@inproceedings{Vitolo2018Performance,
  title = {Performance Evaluation of the Dyna-Q algorithm for Robot Navigation},
  author = {E. Vitolo and A. San Miguel and J. Civera and C. Mahulea},
  year = {2018},
  booktitle = {CASE 2018: 14th IEEE International Conference on Automation Science and Engineering},
  doi = {10.1109/COASE.2018.8560457},
  url = {https://doi.org/10.1109/COASE.2018.8560457},
}

@inproceedings{Vitolo2018Pathplanning,
  title = {Path-planning in Discretized Environments with Optimized Waypoints Computation},
  author = {E. Vitolo and C. Mahulea and M. Kloetzer},
  year = {2018},
  booktitle = {ETFA 2018: 23rd IEEE International Conference on Emerging Technologies and Factory Automation},
  doi = {10.1109/ETFA.2018.8502504},
  url = {https://doi.org/10.1109/ETFA.2018.8502504},
}

@inproceedings{Clavel2018Software,
  title = {Software Tool for Operating Room Scheduling in a Spanish Hospital Department},
  author = {D. Clavel and D. Botez and C. Mahulea and J. Albareda},
  year = {2018},
  booktitle = {ICSTCC 2018: 22nd International Conference on System Theory, Control and Computing},
  doi = {10.1109/ICSTCC.2018.8540764},
  url = {https://doi.org/10.1109/ICSTCC.2018.8540764},
}

@inproceedings{Clavel2018Herramienta,
  title = {Herramienta informática para la programación quirúrgica de pacientes en lista de espera},
  author = {D. Clavel and J. Albareda and L. Castan and C. Mahulea},
  year = {2018},
}

@inproceedings{Clavel2019Sistema,
  title = {Sistema informático para la programación quirúrgica},
  author = {D. Clavel and J. Albareda and L. Castan and C. Mahulea},
  year = {2019},
}

@inproceedings{Kloetzer2019Optimal,
  title = {Optimal Indoor Goods Delivery Using Drones},
  author = {M. Kloetzer and A. Burlacu and G. Enescu and S. Caraiman and C. Mahulea},
  year = {2019},
  booktitle = {ETFA 2019 24th IEEE International Conference on Emerging Technologies and Factory Automation},
  doi = {10.1109/ETFA.2019.8869278},
  url = {https://doi.org/10.1109/ETFA.2019.8869278},
}

@inproceedings{Albareda2019Cmo,
  title = {Cómo afectan diferentes polí\ADticas de programación y cancelación quirúrgicas a la eficiencia y calidad del servicio?},
  author = {J. Albareda and D. Clavel and L. Castan and C. Mahulea},
  year = {2019},
}

@inproceedings{Albareda2019CIPLAN,
  title = {CIPLAN: Herramienta informática para la programación quirúrgica},
  author = {J. Albareda and D. Clavel and L. Castan and C. Mahulea},
  year = {2019},
}

@inproceedings{Clavel2019From,
  title = {From Healthcare System Specifications to Formal Models},
  author = {D. Clavel and C. Mahulea and M. Silva},
  year = {2019},
  booktitle = {SMC 2019 IEEE International Conference on Systems, Man, and Cybernetics},
  doi = {10.1109/SMC.2019.8914654},
  url = {https://doi.org/10.1109/SMC.2019.8914654},
}

@inproceedings{Mahulea2020Multirobot,
  title = {Multi-robot Path Planning with Boolean Specifications and Collision Avoidance},
  author = {C. Mahulea and M. Kloetzer and J.J. Lesage},
  year = {2020},
  booktitle = {IFAC-PapersOnLine},
  doi = {10.1016/j.ifacol.2021.04.011},
  url = {https://doi.org/10.1016/j.ifacol.2021.04.011},
}

@inproceedings{Mahulea2005Steady,
  title = {Steady state control, zero valued poles and token conservation laws in continuous net systems},
  author = {C. Mahulea and A. Ramirez and L. Recalde and M. Silva},
  year = {2005},
  booktitle = {CHyDES05: Workshop on Control of Hybrid and Discrete Event Systems},
  url = {./papers/IPMaRaReSi.pdf},
}

@inproceedings{Mahulea2068Distributed,
  title = {Distributed Multirobot Path Planning in Unknown Maps Using Petri Net Models},
  author = {C. Mahulea and E. Montijano and M. Kloetzer},
  year = {2068},
  booktitle = {21rst IFAC World Congress},
  doi = {10.1016/j.ifacol.2020.12.2521},
  url = {https://doi.org/10.1016/j.ifacol.2020.12.2521},
}

@inproceedings{Hustiu2020Distributed,
  title = {Distributed Path Planning of Mobile Robotswith LTL Specifications},
  author = {I. Hustiu and M. Kloetzer and C. Mahulea},
  year = {2020},
  booktitle = {24th International Conference on System Theory, Control and Computing},
  doi = {10.1109/ICSTCC50638.2020.9259659},
  url = {https://doi.org/10.1109/ICSTCC50638.2020.9259659},
}

@inproceedings{Montijano2021Probabilistic,
  title = {Probabilistic Multi-Robot Path Planning with High-Level Specifications Using Petri Net Models},
  author = {E. Montijano and C. Mahulea},
  year = {2021},
  booktitle = {CASE 2021: IEEE 17th International Conference on Automation Science and Engineering},
  doi = {10.1109/CASE49439.2021.9551515},
  url = {https://doi.org/10.1109/CASE49439.2021.9551515},
}

@inproceedings{Hustiu2021Optimal,
  title = {Optimal task allocation for distributed co-safe LTL specifications},
  author = {I. Hustiu and C. Mahulea and M. Kloetzer},
  year = {2021},
  booktitle = {ETFA 2021: 26th IEEE International Conference on Emerging Technologies and Factory Automation},
  doi = {10.1109/ETFA45728.2021.9613218},
  url = {https://doi.org/10.1109/ETFA45728.2021.9613218},
}

@inproceedings{Hustiu2021Mission,
  title = {Mission assignment and 3D path planning for a team of UAVs},
  author = {S. Hustiu and M. Kloetzer and C. Mahulea},
  year = {2021},
  booktitle = {ICSTCC 2021: 25th International Conference on System Theory, Control and Computing},
  doi = {10.1109/ICSTCC52150.2021.9606861},
  url = {https://doi.org/10.1109/ICSTCC52150.2021.9606861},
}

@inproceedings{Hustiu2022Whitening,
  title = {Whitening of greenhouses roof using drones and Petri net models},
  author = {S. Hustiu and M. Kloetzer and A. Lopez-Martinez and C. Mahulea},
  year = {2022},
  booktitle = {ETFA 2022: 27th IEEE International Conference on Emerging Technologies and Factory Automation},
  doi = {10.1109/ETFA52439.2022.9921482},
  url = {https://doi.org/10.1109/ETFA52439.2022.9921482},
}

@inproceedings{Hustiu2022Parallel,
  title = {Parallel Motion Execution and Path Rerouting for a Team of Mobile Robots},
  author = {S. Hustiu and C. Mahulea and M. Kloetzer},
  year = {2022},
  booktitle = {WODES'2022: 16th IFAC International Workshop on Discrete Event Systems},
  doi = {10.1016/j.ifacol.2022.10.326},
  url = {https://doi.org/10.1016/j.ifacol.2022.10.326},
}

@inproceedings{Hustiu2022Distributing,
  title = {Distributing Co-safe LTL Specifications to Mobile Robots},
  author = {I. Hustiu and C. Mahulea and M. Kloetzer},
  year = {2022},
  booktitle = {ICSTCC 2022: 26th International Conference on System Theory, Control and Computing},
  doi = {10.1109/ICSTCC55426.2022.9931878},
  url = {https://doi.org/10.1109/ICSTCC55426.2022.9931878},
}

@inproceedings{Hustiu2023Multirobot,
  title = {Multi-robot Motion Planning under MITL Specifications based on Time Petri Nets},
  author = {S. Hustiu and D.V. Dimarogonas and C. Mahulea and M. Kloetzer},
  year = {2023},
  booktitle = {2023 European Control Conference (ECC)},
  doi = {10.23919/ECC57647.2023.10178302},
  url = {https://doi.org/10.23919/ECC57647.2023.10178302},
}

@inproceedings{Hustiu2023Software,
  title = {Software Tool for Distribution of Linear Temporal Logic Specifications},
  author = {I. Hustiu and C. Mahulea and M. Kloetzer},
  year = {2023},
  booktitle = {22nd IFAC World Congress},
  doi = {10.1016/j.ifacol.2023.10.702},
  url = {https://doi.org/10.1016/j.ifacol.2023.10.702},
}

@inproceedings{Matcovschi2005Petri,
  title = {Petri Net Toolbox for Matlab in Web-based Analysis and Design of Discrete-event Systems},
  author = {M. Matcovschi and C. Lefter and C. Mahulea and O. Pastravanu},
  year = {2005},
  booktitle = {IFAC Proceedings Volumes},
  doi = {10.3182/20050703-6-CZ-1902.02289},
  url = {https://doi.org/10.3182/20050703-6-CZ-1902.02289},
}

@inproceedings{Arzola2023Modeling,
  title = {Modeling and performance analysis of an industrial transport platform manufacturing process},
  author = {C. Arzola and D. Latorre and G. Sacramento and C. Mahulea and J. Julvez},
  year = {2023},
  booktitle = {2023 IEEE 28th International Conference on Emerging Technologies and Factory Automation (ETFA)},
  doi = {10.1109/ETFA54631.2023.10275422},
  url = {https://doi.org/10.1109/ETFA54631.2023.10275422},
}

@inproceedings{Hustiu2023Extension,
  title = {Extension of a decomposition method for a global LTL specification},
  author = {I. Hustiu and M. Kloetzer and C. Mahulea},
  year = {2023},
  booktitle = {2023 IEEE 28th International Conference on Emerging Technologies and Factory Automation (ETFA)},
  doi = {10.1109/ETFA54631.2023.10275529},
  url = {https://doi.org/10.1109/ETFA54631.2023.10275529},
}

@inproceedings{Arzola2023Analysis,
  title = {Analysis and optimization of clinical pathways using timed continuous Petri nets},
  author = {C. Arzola and C. Mahulea and J. Julvez},
  year = {2023},
  booktitle = {2023 IEEE 28th International Conference on Emerging Technologies and Factory Automation (ETFA)},
  doi = {10.1109/ETFA54631.2023.10275390},
  url = {https://doi.org/10.1109/ETFA54631.2023.10275390},
}

@inproceedings{Moigne2024Optimizing,
  title = {Optimizing Clinical Pathways: A Probabilistic Time Petri Net Approach},
  author = {T. Le Moigne and C. Mahulea and G. Faraut},
  year = {2024},
  booktitle = {17th IFAC Workshop on Discrete Event Systems (WODES 2024)},
  doi = {10.1016/j.ifacol.2024.07.017},
  url = {https://doi.org/10.1016/j.ifacol.2024.07.017},
}

@inproceedings{Abolpour2024Optimizing,
  title = {Optimizing Path-Planning Solutions Obtained by Using Petri Nets Models},
  author = {R. Abolpour and C. Mahulea},
  year = {2024},
  booktitle = {17th IFAC Workshop on Discrete Event Systems (WODES 2024)},
  doi = {10.1016/j.ifacol.2024.07.041},
  url = {https://doi.org/10.1016/j.ifacol.2024.07.041},
}

@inproceedings{Wasim2024Toward,
  title = {Toward Enhancing Security in Intelligent Transportation: A Simulation-Based Approach},
  author = {A.A. Wasim and A.M. Mangini and J. Julvez and C. Mahulea and M.P. Fanti},
  year = {2024},
  booktitle = {2024 12th IFAC Symposium on Fault Detection, Supervision and Safety for Technical Processes (SafeProcess)},
  doi = {10.1016/j.ifacol.2024.07.210},
  url = {https://doi.org/10.1016/j.ifacol.2024.07.210},
}

@inproceedings{Mahulea2024An,
  title = {An Optimal Sensor Placement Strategy for Continuous Petri Nets},
  author = {C. Mahulea},
  year = {2024},
  booktitle = {CASE 2024: Int. Conf. on Automation Science and Engineering},
  doi = {10.1109/CASE59546.2024.10711701},
  url = {https://doi.org/10.1109/CASE59546.2024.10711701},
}

@inproceedings{Barb-Ciorbea2024Planning,
  title = {Planning Strategy Based on Visibility Graph and Traveling Salesman Problem with Time Window Constraints},
  author = {M.A. Barb-Ciorbea and M. Koetzer and C. Mahulea},
  year = {2024},
  booktitle = {ICSTCC 2024: 28th International Conference on System Theory, Control and Computing},
  doi = {10.1109/ICSTCC62912.2024.10744736},
  url = {https://doi.org/10.1109/ICSTCC62912.2024.10744736},
}

@inproceedings{Mahulea2025State,
  title = {State Opacity via Structural Observability in Continuous Petri Nets},
  author = {C. Mahulea},
  year = {2025},
  booktitle = {CASE'2025 IEEE 21st Int. Conf. on Automation Science and Engineering},
  doi = {10.1109/CASE58245.2025.11164017},
  url = {https://doi.org/10.1109/CASE58245.2025.11164017},
}

@inproceedings{Hustiu2025Motion,
  title = {Motion planning for mobile robots through iterative task allocation},
  author = {I. Hustiu and M. Kloetzer and C. Mahulea},
  year = {2025},
  booktitle = {CCTA'2025: 9th IEEE Conf. on Control Technology and Applications},
  doi = {10.1109/CCTA53793.2025.11151390},
  url = {https://doi.org/10.1109/CCTA53793.2025.11151390},
}

@article{Mahulea2008Steady,
  title = {Steady state control reference and token conservation laws in continuous Petri net systems},
  author = {C. Mahulea and A. Ramirez and L. Recalde and M. Silva},
  year = {2008},
  journal = {IEEE Transactions on Automation Science and Engineering},
  volume = {754},
  doi = {10.1109/TASE.2007.893504},
  url = {https://doi.org/10.1109/TASE.2007.893504},
}

@article{Wang2013Minimumtime,
  title = {Minimum-time Decentralized Control of Choice-Free Continuous Petri Nets},
  author = {L. Wang and C. Mahulea and J. Julvez and M. Silva},
  year = {2013},
  journal = {Nonlinear Analysis: Hybrid Systems},
  doi = {10.1016/j.nahs.2012.07.004},
  url = {https://doi.org/10.1016/j.nahs.2012.07.004},
}

@article{Apaydin-Ozkan2014A,
  title = {A Control Method for Distributed Continuous Mono-T-Semiflow Petri nets},
  author = {H. Apaydin-Ozkan and C. Mahulea and J. Julvez and M. Silva},
  year = {2014},
  journal = {International Journal of Control},
  doi = {10.1080/00207179.2013.826822},
  url = {https://doi.org/10.1080/00207179.2013.826822},
}

@article{Wang2014ONOFF,
  title = {ON/OFF strategy based minimum-time control of continuous Petri nets},
  author = {L. Wang and C. Mahulea and J. Julvez and M. Silva},
  year = {2014},
  journal = {Nonlinear Analysis: Hybrid Systems},
  volume = {12},
  doi = {10.1016/j.nahs.2013.11.007},
  url = {https://doi.org/10.1016/j.nahs.2013.11.007},
}

@article{Julvez2014EventDriven,
  title = {Event-Driven Model Predictive Control of Timed Hybrid Petri Nets},
  author = {J. Julvez and S. Di Cairano and A. Bemporad and C. Mahulea},
  year = {2014},
  journal = {International Journal of Robust and Nonlinear Control},
  doi = {10.1002/rnc.2958},
  url = {https://doi.org/10.1002/rnc.2958},
}

@article{Kloetzer2014A,
  title = {A Petri net based approach for multi-robot path planning},
  author = {M. Kloetzer and C. Mahulea},
  year = {2014},
  journal = {Discrete Event Dynamic Systems: Theory and Applications},
  doi = {10.1007/s10626-013-0162-6},
  url = {https://doi.org/10.1007/s10626-013-0162-6},
}

@article{Wang2015Diagnosis,
  title = {Diagnosis of Time Petri Nets using Fault Diagnosis Graph},
  author = {X. Wang and C. Mahulea and M. Silva},
  year = {2015},
  journal = {IEEE Transactions on Automatic Control},
  doi = {10.1109/TAC.2015.2405293},
  url = {https://dx.doi.org/10.1109/TAC.2015.2405293},
}

@article{Kloetzer2015LTLbased,
  title = {LTL-based Planning in Environments with Probabilistic Observations},
  author = {M. Kloetzer and C. Mahulea},
  year = {2015},
  journal = {IEEE Transactions on Automation Science and Engineering},
  doi = {10.1109/TASE.2015.2454299},
  url = {https://dx.doi.org/10.1109/TASE.2015.2454299},
}

@article{Giua2017Decentralized,
  title = {Decentralized Observability of Discrete Event Systems with Synchronizations},
  author = {A. Giua and C. Mahulea and C. Seatzu},
  year = {2017},
  journal = {Automatica},
  doi = {10.1016/j.automatica.2017.08.009},
  url = {https://doi.org/10.1016/j.automatica.2017.08.009},
}

@article{Albareda2017,
  title = {-},
  author = {J. Albareda and D. Clavel and C. Mahulea and N. Blanco and L. Ezquerra and J. Gómez and M. Silva and ¿Realizamos bien la programación quirúrgica? ¿Cómo podemos mejorarla?},
  year = {2017},
  journal = {Revista Española de Cirugía Ortopédica y Traumatología},
  volume = {61},
  number = {6},
  doi = {10.1016/j.recot.2017.07.006},
  url = {https://dx.doi.org/10.1016/j.recot.2017.07.006},
}

@article{Mahulea2018Modular,
  title = {Modular Petri Net Modeling of Healthcare Systems},
  author = {C. Mahulea and L. Mahulea and J.M. Garcia-Soriano and J.M. Colom},
  year = {2018},
  journal = {Flexible Services and Manufacturing Journal},
  doi = {10.1007/s10696-017-9283-9},
  url = {https://dx.doi.org/10.1007/s10696-017-9283-9},
}

@article{Mahulea2008Optimal,
  title = {Optimal model predictive control of Timed Continuous Petri nets},
  author = {C. Mahulea and A. Giua and L. Recalde and C. Seatzu and M. Silva},
  year = {2008},
  journal = {IEEE Transactions on Automatic Control},
  volume = {754},
  doi = {10.1109/TAC.2008.929386},
  url = {https://doi.org/10.1109/TAC.2008.929386},
}

@article{Mahulea2018Robot,
  title = {Robot Planning based on Boolean Specifications using Petri Net Models},
  author = {C. Mahulea and M. Kloetzer},
  year = {2018},
  journal = {IEEE Transactions on Automatic Control},
  doi = {10.1109/TAC.2017.2760249},
  url = {https://doi.org/10.1109/TAC.2017.2760249},
}

@article{Burlacu2019Numerical,
  title = {Numerical evaluation of sample gathering solutions for mobile robots},
  author = {A. Burlacu and M. Kloetzer and C. Mahulea},
  year = {2019},
  journal = {Applied Sciences},
  volume = {9},
  number = {4},
  pages = {791},
  doi = {10.3390/app9040791},
  url = {https://doi.org/10.3390/app9040791},
}

@article{Bernardi2019Toward,
  title = {Toward a decision support system for the clinical pathways assessment},
  author = {S. Bernardi and C. Mahulea and J. Albareda},
  year = {2019},
  journal = {Discrete Event Dynamic Systems: Theory and Applications},
  volume = {29},
  number = {1},
  pages = {91-125},
  doi = {10.1007/s10626-019-00279-9},
  url = {https://doi.org/10.1007/s10626-019-00279-9},
}

@article{Mahulea2019The,
  title = {The 24th IEEE International Conference on Emerging Technologies and Factory Automation Held in Zaragoza, Spain [Society News]},
  author = {C. Mahulea and A. Grau and L. Lo Bello},
  year = {2019},
  journal = {IEEE industrial electronics magazine},
  volume = {13},
  number = {4},
  pages = {27-128},
  doi = {10.1109/MIE.2019.2949845},
  url = {https://doi.org/10.1109/MIE.2019.2949845},
}

@article{Kloetzer2020Path,
  title = {Path planning for robotic teams based on LTL specifications and Petri net models},
  author = {M. Kloetzer and C. Mahulea},
  year = {2020},
  journal = {Discrete Event Dynamic Systems: Theory and Applications},
  volume = {30},
  number = {1},
  pages = {55-79},
  doi = {10.1007/s10626-019-00300-1},
  url = {https://doi.org/10.1007/s10626-019-00300-1},
}

@article{Clavel2020A,
  title = {A Decision Support System for Elective Surgery Scheduling under Uncertain Durations},
  author = {D. Clavel and C. Mahulea and J. Albareda and M. Silva},
  year = {2020},
  journal = {Applied Sciences},
  volume = {10},
  number = {6},
  pages = {1937},
  doi = {10.3390/app10061937},
  url = {https://doi.org/10.3390/app10061937},
}

@article{Mahulea2021Path,
  title = {Path planning of multirobot systems using Petri net models. Results and open problems.},
  author = {C. Mahulea and R. González and E. Montijano and M. Silva},
  year = {2021},
  journal = {Revista Iberoamericana de Automática e Informática industrial},
  volume = {18},
  number = {1},
  pages = {19-31},
  doi = {10.4995/riai.2020.13785},
  url = {https://doi.org/10.4995/riai.2020.13785},
}

@article{Hustiu2021LTL,
  title = {LTL Task Decomposition for 3D High-Level Path Planning},
  author = {S. Hustiu and I. Hustiu and M. Kloetzer and C. Mahulea},
  year = {2021},
  journal = {Journal of Control Engineering and Applied Informatics},
  volume = {24},
  number = {3},
  url = {http://www.ceai.srait.ro/index.php?journal=ceai&page=article&op=download&path%5B%5D=7355&path%5B%5D=1620},
}

@article{Clavel2023On,
  title = {On Liveness Enforcement of Distributed Petri Net Systems},
  author = {D. Clavel and C. Mahulea and M. Silva},
  year = {2023},
  journal = {IEEE Transactions on Automatic Control},
  volume = {68},
  number = {6},
  doi = {10.1109/TAC.2022.3198328},
  url = {https://doi.org/10.1109/TAC.2022.3198328},
}

@article{Hustiu2024On,
  title = {On Multi-Robot Path Planning based on Petri Net Models and LTL Specifications},
  author = {S. Hustiu and C. Mahulea and M. Kloetzer and J.J. Lesage},
  year = {2024},
  journal = {IEEE Transactions on Automatic Control},
  volume = {69},
  number = {9},
  doi = {10.1109/TAC.2024.3386024},
  url = {https://doi.org/10.1109/TAC.2024.3386024},
}

@article{Mahulea2009Basic,
  title = {Basic Server Semantics and Performance Monotonicity of Continuous Petri Nets},
  author = {C. Mahulea and L. Recalde and M. Silva},
  year = {2009},
  journal = {Discrete Event Dynamic Systems: Theory and Applications},
  doi = {10.1007/s10626-008-0049-0},
  url = {https://doi.org/10.1007/s10626-008-0049-0},
}

@article{Moigne2025Probabilistic,
  title = {Probabilistic Timed Petri Nets for Clinical Pathway Design and Analysis: A Case Study},
  author = {M. Le Moigne and C. Mahulea and G. Faraut and S. Bernardi and J. Albareda and L. Castan},
  year = {2025},
  journal = {Discrete Event Dynamic Systems},
  volume = {35},
  doi = {10.1007/s10626-025-00419-4},
  url = {https://doi.org/10.1007/s10626-025-00419-4},
}

@article{Lv2026Counting,
  title = {Counting Time Temporal Logic for Multi-Robot Path Planning in Finite Horizons},
  author = {P. Lv and S. Li and C. Mahulea and B. Denis and G. Faraut and X. Yin},
  year = {2026},
  journal = {IEEE Transactions on Automation Science and Engineering},
  volume = {23},
  doi = {10.1109/TASE.2025.3636053},
  url = {https://doi.org/10.1109/TASE.2025.3636053},
}

@article{Hustiu2026Multirobot,
  title = {Multi-robot Motion Planning based on Nets-within-Nets Modeling and Simulation},
  author = {S. Hustiu and J. Ezpeleta and C. Mahulea and M. Kloetzer},
  year = {2026},
  journal = {Robotics and Autonomous Systems},
  volume = {197},
  doi = {10.1016/j.robot.2025.105287},
  url = {https://doi.org/10.1016/j.robot.2025.105287},
}

@article{Mahulea2010Observability,
  title = {Observability of continuous Petri nets with infinite server semantics},
  author = {C. Mahulea and L. Recalde and M. Silva},
  year = {2010},
  journal = {Nonlinear Analysis: Hybrid Systems},
  doi = {10.1016/j.nahs.2009.06.014},
  url = {https://doi.org/10.1016/j.nahs.2009.06.014},
}

@article{Kloetzer2010An,
  title = {An Automated Framework for Formal Verification of Timed Continuous Petri Nets},
  author = {M. Kloetzer and C. Mahulea and C. Belta and M. Silva},
  year = {2010},
  journal = {IEEE Transactions on Industrial Informatics},
  doi = {10.1109/TII.2010.2050001},
  url = {https://doi.org/10.1109/TII.2010.2050001},
}

@article{Apaydin-Ozkan2011Approaching,
  title = {Approaching Minimum Time Control of Timed Continuous Petri nets},
  author = {H. Apaydin-Ozkan and J. Julvez and C. Mahulea and M. Silva},
  year = {2011},
  journal = {Nonlinear Analysis: Hybrid Systems},
  doi = {10.1016/j.nahs.2010.04.002},
  url = {https://doi.org/10.1016/j.nahs.2010.04.002},
}

@article{Silva2011On,
  title = {On fluidization of discrete event models: observation and control of continuous Petri nets},
  author = {M. Silva and J. Julvez and C. Mahulea and C.R. Vazquez},
  year = {2011},
  journal = {Discrete Event Dynamic Systems: Theory and Applications},
  doi = {10.1007/s10626-011-0116-9},
  url = {https://doi.org/10.1007/s10626-011-0116-9},
}

@article{Julvez2012SimHPN,
  title = {SimHPN: a MATLAB toolbox for simulation, analysis and design with hybrid Petri nets},
  author = {J. Julvez and C. Mahulea and C.R. Vazquez},
  year = {2012},
  journal = {Nonlinear Analysis: Hybrid Systems},
  doi = {10.1016/j.nahs.2011.10.001},
  url = {https://doi.org/10.1016/j.nahs.2011.10.001},
}

@article{Mahulea2012Fault,
  title = {Fault Diagnosis of Discrete-Event Systems using Continuous Petri Nets},
  author = {C. Mahulea and C. Seatzu and M.P. Cabasino and M. Silva},
  year = {2012},
  journal = {IEEE Transactions on Systems, Man, and Cybernetics, Part A: Systems and Humans},
  volume = {42},
  number = {4},
  pages = {970},
  doi = {10.1109/TSMCA.2012.2183358},
  url = {https://doi.org/10.1109/TSMCA.2012.2183358},
}

@misc{Clavel2018Robust,
  title = {Robust Scheduling of Elective Patients under Block Booking by Chance Constrained Approaches},
  author = {D. Clavel and C. Mahulea and J. Albareda and M. Silva},
  year = {2018},
  url = {./papers/rr_2018.pdf},
}