报告人：Kamel Barkaoui
报告题目：Time Based Deadlock Prevention for Petri Nets
时间：2025年5月29日 9:00-10:30
地点：数学楼2-3会议室
报告摘要：
In this talk, we present a new deadlock prevention method for Petri nets (PN), in which the control is performed by appropriately setting time constraints on transitions, in terms of firing intervals.
We show that this time based deadlock prevention (TBDP) problem is decidable for bounded PN and can be formalised as a parametric model checking problem. However, in this context, the parametric model checking faces a severe state explosion problem. To deal with this limitation, we propose a symbolic approach that abstracts firing order constraints and bypasses the use of parameter domains with their associated very costly operations. Both approaches can handle, as an input model, a (time) PN with controllable/uncontrollable transitions. In such a case, they expose whether or not the firing intervals of the controllable transitions of the input model can be restricted so as to force the deadlock freeness (i.e., there is no marking with no enabled transitions).
报告人简介：
Kamel Barkaoui is full professor (Exceptional Class) in the Department of Computer Science of Conservatoire National des Arts et Métiers (Le Cnam Paris). He obtained his Ph.D. in Computer Science (1988) and Habilitation à Diriger des Recherches (1998) from Université Paris 6 (Sorbonne University).
His area of research focuses on formal methods for specifying, verifying, monitoring and evaluating concurrent discrete event systems and also includes discrete mathematics, stochastic modelling and deep reinforcement learning.
He supervised more than 36 PhD theses; he published 55 papers in International Journals and more than 150 peer-reviewed papers in international conferences and contributed to several books. He led or participated in more than 10 international research projects. He received the Outstanding Paper Award at the IEEE Int. Conf. on System Man and Cybernetics (IEEE SMC 1995) and is recipient of the Prime d’Excellence Scientifique du MESRI since 1998.
Kamel Barkaoui served as Program Committee chair of the 3rd International Colloquium on Theoretical Aspects of Computing (ICTAC 2006), General chair of the 18th International Symposium on Formal Methods (FM 2012), General chair of the 35th International Conference on Application and Theory of Petri Nets and Concurrency (Petri Nets 2014) and of the 14th International Conference on Application of Concurrency to System Design (ACSD 2014). In 2007, he founded the International Conference on Verification and Evaluation of Computer and Communication Systems (VECoS, 17th edition held in October 2024).
He was elected member of the Tunisian Academy of Sciences, Letters and Arts (Beït al Hikma) in 2015 and vice-president of the African Society of Digital Sciences (ASDS) in 2022.
邀请人：张奎泽教授
