Orateurs invités

Kamel Barkaoui is Professor at CNAM Paris and member of Cedric Laboratory. Its research interests broadly span formal verification, control and evaluation of concurrent discrete-event systems. He is also member of Tunisian Academy of Sciences (Beit al-Hikma) and vice-president of African Society in Digital Sciences (ASDS).

Title : A New Approach for Deadlock Prevention Problem based on Petri Net

Abstrat : In resource allocation systems such  as computer communication systems, workflow systems, and flexible manufacturing systems, the deadlock prevention problem based on a Petri net formalism has received an enormous amount of attention in the literature resulting in a wide variety of approaches. In this talk we will first intend a brief survey and comparison of variety of  classical deadlock prevention policies in terms of structural complexity, behavior permissiveness, and computational complexity. In second part , we propose a new approach for this problem in which the control is purely performed by appropriately setting time constraints on transitions, in terms of firing intervals.  We show that this time based deadlock prevention problem is decidable for bounded Petri net and can be formalised as a parametric model checking problem.  However, this parametric model checking faces a severe state explosion problem. To deal with this limitation, we propose a symbolic approach that abstracts firing order contraints and bypasses the use of parameter domains with their associated very costly operations.

 https://www.eurielletcompagnie.com/