Short bio
Cristian Mahulea received the B.S. and M.Sc. degrees in control engineering from the Technical University of Iasi, Romania, in 2001 and 2002, respectively, and the Ph.D. degree in systems engineering from the University of Zaragoza, Spain, in 2007. He is currently an Associate Professor with the Department of Computer Science and Systems Engineering, University of Zaragoza, Spain. His research interests include discrete event systems, hybrid systems, automated manufacturing, Petri nets, mobile robotics and healthcare systems. He has been a Visiting Professor at the University of Cagliari, Italy, and a Visiting Researcher at the University of Sheffield, U.K., Boston University, MA, USA and ENS Paris-Saclay, France. Dr. Mahulea has been Program Committee co-chair of ETFA'2017 and ETFA'2018 and General co-Chair of ETFA'2019. He was Associate Editor of IEEE Automation Science and Engineering (2014-2017), and currently is Associate Editor of IEEE Control Systems Letters (from 2017) and IEEE Automatic Control (from October 2019).

Abstract
In this talk I will introduce two applications where discrete event models, mainly Petri nets, provide solution to different problems. The first application is healthcare system management based on modeling the clinical pathways or medical protocols and transform them to Petri net models. Surgery planning in healthcare systems is another problem studied. The second application is related to high-level path planning in multi-robot systems, problem dealing with the automatic computation of strategies for planning of teams of identical robots which should satisfy a global task, given in terms of a Boolean and/or a Linear Temporal Logic (LTL) formula over predefined regions of interest.