Petri nets (PN) constitute a well-known formal paradigm for the modeling, analysis, simulation and optimization of discrete event dynamic systems, with different interpretations (autonomous, timed, stochastic, …) and abstraction levels (ordinary, generalized, colored, …). Their double interpretation, graphic/mathematical, allows developing efficiently not only the modeling and simulation of complex concurrent discrete systems, such as production or logistic industrial systems, but also their performance analysis. Much effort has been devoted to formal analysis techniques in PNs, which represent a solid theoretical basis that can be applied to industrial systems (state space exploration, model reduction, graph based techniques, mathematical programming, …). But not always these formal techniques can be applied to models in practice, and then simulation can be a powerful tool in order to improve and optimize the system.

Thus, the main topic of this track (Modeling and simulation with Petri nets, MSPN) is the simulation of Petri net models, at different interpretations and abstraction levels, as a tool for knowledge and optimization of discrete event dynamic systems.

Overall objectives of the track

• To gather and to present original papers concerning the use of the variety of formalisms that constitute PN for the modeling, simulation and optimization of discrete event systems.
• To propose hybrid approaches, which combine simulation and analytical techniques, to develop efficient methodologies oriented to improve and optimize discrete event systems modeled with PN.
• To identify and publish worldwide methodologies and practices regarding development and use of simulation-based techniques and algorithms in PN models.
• To demonstrate the application potential of PN and related modeling, simulation and optimization methodologies in solving various practical problems.