Kamel Barkaoui


Computer Sciences Engineering - Formel Modeling and Verification Using Petri Nets

Formel Modeling and Verification Using Petri Nets


This online  MasterCamp© is designed to provide an in-depth understanding of formal modeling and verification using Petri nets. Petri nets are a mathematical modeling language that is widely used for designing, analyzing, and verifying complex systems. This course will cover the basics of Petri nets, their formal semantics, and how to use them to model and verify real-world systems.


  • To take this  MasterCamp©, you will need a basic understanding of discrete mathematics, computer science, and programming. Some familiarity with modeling and verification techniques would also be helpful. Additionally, you will need a computer with an internet connection and the necessary software to run Petri net tools.


This course is designed for anyone interested in formal methods, model-based development, and verification techniques. This includes researchers, software engineers, and students who want to gain a deeper understanding of Petri nets and their applications.

  • This  MasterCamp© includes lectures, interactive sessions, assignments, and practical exercises. You will learn through a combination of theory and practice, with a focus on hands-on experience. Additionally, you will have access to various Petri net tools and resources, as well as online support from instructors and fellow students
  • By the end of this  MasterCamp©, you will have a solid understanding of Petri nets and their formal semantics.
  • You will be able to model and verify complex systems using Petri nets and analyze their properties. Additionally
  • you will learn how to use various Petri net tools and techniques to design and verify software systems.

Skills you will gain:

  • Upon completing this course, you will gain skills in formal modeling,
    verification, and analysis of complex systems.
  • You will learn how to use Petri nets to model and analyze real-world systems, and how to apply various techniques to verify their correctness.
  • Additionally, you will gain experience in using various Petri net tools to design
    and analyze software systems.
Sign up

My Story

I’m a full Professor at ‘’Conservatoire National des Arts et Métiers (Le Cnam)’’ i have PhD (1988) and HDR (1998) in Computer Science, from Sorbonne University.
Since my habilitation in 1998, I was invited to be member of thesis juries of 41 PhD theses and 12 Habilitation thesis as external examiner. They were mainly in France and also in Universities abroad : Maghreb, China, South Africa, Qatar, India, Italy, Canada, and USA.

I was invited to give a talk sessions at several universities, International Colloquium on Theoretical Aspects of Computing (ICTAC), 2019, School of Electro-Mechanical
Engineering, Xidian University, Xian, 2019, College of Control Science and Engineering, ZheJiang University, Hangzhou, 2018., School of Information & Electronic Engineering, Zhejiang Gongshang University, Hangzhou, 2018, Lab. Computer Science for Complex System Modelling of University of Zaragoza, 2016, Lab. VeriForm, Ecole Polytechnique de Montréal, Juin 2016 • Software Engineering Department of Kingdom Saud University, and many other locations.

Besides the publication of more than 55 articles in indexed and peer-reviewed international journals (ISI, Scopus, 3 papers are ESI indexed) and more than 150 papers in peer reviewed international conferences, i have worked on many researches activities at the Cedric Cnam
Laboratory (EA1395) since its creation in 1988, i’m also head of Verification and Evaluation of Research at the Cedric Cnam since 1998.

Also a Program committee member for several international conferences (for several editions) My passion and love for computer sciences and research in different topics motivated me a lot to go forward and increase my knowledge and develop my career to be now in this position and earn many Honors and Awards.

I believe with hard work and confidence we can do a lot of things and especially achieve our dreams and goals.

Where I’ve Worked

Full Professor (Exceptional Class) at Conservatoire National des Arts et Métiers (Le Cnam)
Member of the Editorial Board of Current Chinese Science - Field: Cybernetics
Member of the Editorial Board of African Journal of Research in Computer Science and Applied Mathematics ARIMA
Guest Editor of Innovations in Systems and Software Engineering: A NASA Journal, Springer
Member of the Editorial Board of the IEEE/CAA Journal of Automatica Sinica
Associate Editor of the International Journal of Critical Computer-Based Systems (IJCCBS) Elsevier Science

Skills you will gain

Data sciences

  • Data Science
  • Deep Learning
  • Machine Learning
  • Big Data
  • Data Mining
  • Github
  • Python Programming
  • Jupyter notebooks
  • Rstudio
  • Methodology
  • Data Analysis
Sign Up