Co-Chairs :
Dr. Patrice Bonhomme, University of Tours, France
Dr. Yin Tong, Southwest Jiaotong University, China
Prof. Cristian Mahulea, University of Zaragoza, Spain
Prof. Dimitri Lefebvre, University Le Havre, France
Dr. Achraf Jabeur Telmoudi, University of Sousse,Tunisia

Session description:
Important challenges for researchers and engineers are related to planning, modeling, analysis, verification, control, scheduling, and implementation of systems. Petri nets introduced by Carl Petri as a mathematical tool of describing activities, resources, and system states are extensively used for discrete (concurrent) systems. They have a graphical representation being possible to see the token game facilitating the understanding of system behavior. In order to adapt these models to specific domain applications, a variety of extensions of Petri nets have been defined (e.g., timed, colored, object oriented, continuous, labeled,…). Considering the performance of the Petri Net in terms of modeling synchronizations, parallels, conflicts and sharing of resources, this tool is an important research way for the modeling and evaluation of systems. This special issue focuses on the usage of Petri Nets tool for the Modeling, Optimization, Evaluation, Control and Analysis.

The topics of interest include, but are not limited to:
 Diagnosis methods based on Petri nets,
 Petri nets for control,
 System design decisions using Petri nets,
 Petri nets for analysis,
 Monitoring of systems using Petri nets,
 Reliable computation using Petri nets,
 Reliability and maintenance engineering,
 Security issues with Petri nets
 Applications and case studies
 ...