Distinguished Carl Adam Petri Lecture

Title - Promises and Challenges of Reactive Modeling: A Personal Perspective

Prof. Thomas A. Henzinger
Institute of Science and Technology  (IST) Austria

Wednesday, 28 June, 9:45 - 10:45 h. Assembly Hall. Abstract   --   Slides


Thomas A. Henzinger is president of IST Austria (Institute of Science and Technology Austria). He holds a Dipl.-Ing. degree in Computer Science from Kepler University in Linz, Austria, an M.S. degree in Computer and Information Sciences from the University of Delaware, a Ph.D. degree in Computer Science from Stanford University (1991), and a Dr.h.c. from Fourier University in Grenoble, France (2012) and from Masaryk University in Brno, Czech Republic (2015). He was Assistant Professor of Computer Science at Cornell University (1992-95), Assistant Professor (1996-97), Associate Professor (1997-98), and Professor (1998-2004) of Electrical Engineering and Computer Sciences at the University of California, Berkeley. He was also Director at the Max-Planck Institute for Computer Science in Saarbruecken, Germany (1999) and Professor of Computer and Communication Sciences at EPFL in Lausanne, Switzerland (2004-09). His research focuses on modern systems theory, especially models, algorithms, and tools for the design and verification of reliable software, hardware, and embedded systems. His HyTech tool was the first model checker for mixed discrete-continuous systems. He is an ISI highly cited researcher, a member of Academia Europaea, a member of the German Academy of Sciences (Leopoldina), a member of the Austrian Academy of Sciences, a Fellow of the AAAS, a Fellow of the ACM, and a Fellow of the IEEE. He has received the Milner Award of the Royal Society, the Wittgenstein Award of the Austrian Science Fund, and an ERC Advanced Investigator Grant.

Invited Speakers

Title - The Alignment of Formal, Structured and Unstructured Process Descriptions

Prof. Josep Carmona
Department of Computer Science,
Universitat Politècnica de Catalunya, Spain

Wednesday, 28 June, 14:15 - 15:15 h. Assembly Hall. Abstract   --   Slides


Josep Carmona is an Associate Professor at Universitat Politècnica de Catalunya. He got a PhD at the same university in 2004, under the supervision of Prof. Jordi Cortaldella. His research interests include formal methods and concurrent systems, data and process science, business intelligence and business process management, and natural language processing. He has co-authored numerous research papers and organized various conferences and workshops. He is a member of the IEEE Task Force on Process Mining, and co-organizes the Process Discovery Contest.

Prof. Carmona has served on the technical committees of several international conferences in different fields. He received the best paper award at the Int. Conf. on Application of Concurrency to System Design (2009), and a best student paper award with his PhD student at the Int. Conf. on Business Process Management (2013). A PhD supervised by Prof. Carmona won the IEEE Best Process Mining Dissertation Award (2015).

Prof. Carmona was a Visiting Researcher at Leiden University (January — September, 2002), and a Visiting Professor at Mannheim University (January — July, 2015).

Title - Complexity Made Simple*
*at a small price

Prof. Christos G. Cassandras
Division of Systems Engineering,
Department of Electrical and Computer Engineering, and
Center for Information and Systems Engineering (CISE)
Boston University, USA

Friday, 30 June, 9:00 - 10:00 h. Assembly Hall. Abstract   --   Slides


Christos G. Cassandras is Distinguished Professor of Engineering at Boston University. He is Head of the Division of Systems Engineering, Professor of Electrical and Computer Engineering, and co-founder of Boston University’s Center for Information and Systems Engineering (CISE). He received degrees from Yale University (B.S., 1977), Stanford University (M.S.E.E., 1978), and Harvard University (S.M., 1979; Ph.D., 1982). In 1982-84 he was with ITP Boston, Inc. where he worked on the design of automated manufacturing systems. In 1984-1996 he was a faculty member at the Department of Electrical and Computer Engineering, University of Massachusetts/Amherst. He specializes in the areas of discrete event and hybrid systems, cooperative control, stochastic optimization, and computer simulation, with applications to computer and sensor networks, manufacturing systems, and transportation systems. He has published over 380 refereed papers in these areas, and six books. He has guest-edited several technical journal issues and serves on several journal Editorial Boards. In addition to his academic activities, he has worked extensively with industrial organizations on various systems integration projects and the development of decision-support software. He has most recently collaborated with The MathWorks, Inc. in the development of the discrete event and hybrid system simulator SimEvents.

Dr. Cassandras was Editor-in-Chief of the IEEE Transactions on Automatic Control from 1998 through 2009 and has also served as Editor for Technical Notes and Correspondence and Associate Editor. He is currently an Editor of Automatica. He was the 2012 President of the IEEE Control Systems Society (CSS). He has also served as Vice President for Publications and on the Board of Governors of the CSS, as well as on several IEEE committees, and has chaired several conferences. He has been a plenary/keynote speaker at numerous international conferences, including the American Control Conference in 2001 and the IEEE Conference on Decision and Control in 2002 and 2016, and has also been an IEEE Distinguished Lecturer.

He is the recipient of several awards, including the 2011 IEEE Control Systems Technology Award, the Distinguished Member Award of the IEEE Control Systems Society (2006), the 1999 Harold Chestnut Prize (IFAC Best Control Engineering Textbook) for Discrete Event Systems: Modeling and Performance Analysis, a 2011 prize and a 2014 prize for the IBM/IEEE Smarter Planet Challenge competition (for a “Smart Parking” system and for the analytical engine of the Street Bump system respectively), the 2014 Engineering Distinguished Scholar Award at Boston University, several honorary professorships, a 1991 Lilly Fellowship and a 2012 Kern Fellowship. He is a member of Phi Beta Kappa and Tau Beta Pi. He is also a Fellow of the IEEE and a Fellow of the IFAC.

Title - Resource equivalences in Petri nets

Prof. Irina Lomazova
Laboratory of Process-Aware Information Systems (PAIS Lab), and
Faculty of Computer Science
National Research University Higher School of Economics, Moscow, Russia

Thursday, 29 June, 15:15 - 16:15 h. Assembly Hall. Abstract   --   Slides


Irina A. Lomazova is a Professor at the Faculty of Computer Science of National Research University Higher School of Economics , Moscow, Russia. She is also the Head of Laboratory of Process-Aware Information Systems (PAIS Lab). She holds a Diploma and a PhD in Mathematics from Novosibirsk State University, Russia, under the supervision of Prof. B.A. Trakhtenbrot .Then she was Associate Professor at Krasnoyarsk State University, Russia, Senior Researcher in Program Systems Institute of Russian Academy of Science. She is author of two books and over 100 refereed papers concerning program semantics and analysis, formal methods, concurrent and distributed systems, process modeling and analysis. Her current interests focus on formal methods for modeling and analysis of distributed multi-agent systems and process mining. She is a member of IEEE Task Force on Process Mining . She was a Visiting Professor/Researcher at Humboldt-Universität zu Berlin, Germany, École normale supérieure de Cachan, France, Eindhoven University of Technology, Netherlands, University of Turku, Finland, University of Siegen, Germany.

Title - Property-Preserving Generation of Tailored Benchmark Petri Nets

Prof. Jaco van de Pol
Research Institute CTIT, Faculty EEMCS
University of Twente, The Netherlands

Thursday, 29 June, 9:00 - 10:00 h. Assembly Hall. Abstract  --  Slides


Jaco van de Pol studied Computer Science at Utrecht University, and received his PhD from the Faculty of Philosophy in Utrecht (1996) on Termination of Higher-order Rewrite Systems. After positions at the LMU Munich, TU/Eindhoven and CWI Amsterdam, he became full professor in Formal Methods and Tools at the University of Twente, being Head of the CS Department from 2014-2017. He was tool chair of TACAS 2015, and he is in the editorial board of the journals  SCP and STTT. He was invited professor at the lab LIPN of Université Paris 13, both in 2016 and in 2017.
His research interests include symbolic methods and parallel algorithms for verification and testing. Recent achievements are in scalable multi-core NDFS and multi-core SCC algorithms, and in multi-core Decision Diagram data-structures. These high-performance and/or symbolic algorithms are implemented in the LTSmin toolset, which won several prizes. The algorithms are available through a high-level API to multiple modelling formalisms, like Timed Automata (Uppaal), Promela (SPIN), Petri-Nets (PNML), Process Algebras (mCRL2), DiVinE, and B || CSP (ProB). He applied verification technology in projects on railway interlockings, energy aware scheduling, biological signalling networks, and socio-technical security models.

Title - Modelling & Mining Event-based Concurrent Declarative Processes as Dynamic Condition Response Graphs

Prof. Thomas Hildebrandt
Process Intelligence, Modelling and Optimisation Group
University of Copenhagen, Denmark

Monday, 26 June, 13:45 - 14:45 h. Assembly Hall. Abstract   --   Slides


Thomas Hildebrandt is Associate professor at IT University of Copenhagen and head of the Process Intelligence, Modelling and Optimisation Group. He obtained a PhD in Computer Science in 1999 from BRICS, Aarhus University and has published more than 60 peer-reviewed papers in the areas of formal models for concurrent, distributed and mobile systems and applications to security, business and workflow management systems. He has been the principal investigator of several interdisciplinary research projects with industry partners and member of the management committee for the EU COST action on behavioural types for complex distributed systems. In particular, he initiated and lead the development of the declarative DCR Graphs process technology for flexible and adaptable processes jointly with his research group and the danish company Exformatics. Currently he is co-investigator on the Computational Artefacts (CompArt) project supported by the Velux foundation and facilitates three industry interest groups in the area of processes and IT in two innovation networks (infinit.dk and cfir.dk) and the private knowledge network VidenDanmark.dk.

Title - Model-Driven Development of Performance Sensitive Cloud Native Streaming Applications

Prof. José Ángel Bañares
COS2MOS Research Group, Aragón Institute of Engineering Research (I3A)
University of Zaragoza, Spain

Tuesday, 27 June, 9:15 - 10:15 h. Assembly Hall. Abstract  --  Slides


José Ángel Bañares was born in Zaragoza, Spain in 1966. He received the M.S. degree in Industrial-Electrical engineering and the Ph.D. degree in Computer Science from the University of Zaragoza, in 1991 and 1996, respectively. He joined the faculty of the University of Zaragoza as an Assistant Professor in 1994, and since 1999 he has been an Associate Professor. His research interests include Petri nets, Artificial Intelligence and Distributed Computing.

 He has co-authored numerous research papers and organized various international conferences. Prof. José Ángel Bañares has served on the technical committees of several international conferences in different fields.  He is member of the Steering Committee of GECON – Conference on the Economics of Grids, Clouds, Systems and Services, and member of the directive board of AEPIA - the Spanish Association for Artificial Intelligence.

Title - Verification of Reconfigurable Petri Nets

Prof. Julia Padberg
Fakultät Technik und Informatik, Department Informatik
Hamburg University of Applied Sciences, Germany

Monday, 26 June, 17:15 - 18:15 h. Assembly Hall. Abstract  --  Slides


Julia Padberg is full professor at the HAW Hamburg (Hamburg University of Applied Sciences), Germany. She has received her PhD at the Technical University Berlin in 1996 within a scholarship of the German Research Council (DFG). She was concerned with the research and management of the research group “Petri Net Technology” (1996 – 2002) and has obtain funding for the DFG-project “Formal modelling and analysis of flexible processes in mobile ad-hoc networks” (2006 to 2011). In 2002 and 2003 she was Professor for Theoretical Computer Science at the University Bremen, Germany. Since 2008 she is a Professor for Theory of Distributed Systems at the HAW.
Her research interests are formal specification techniques (Petri nets, graph transformations, automata, algebraic specifications), formal foundation for model transformation, abstract transformation system and category theory as well as verification and model-checking.

She is married and has two sons.