Therefore, a general understanding of the potentials of Petri nets in the context of system engineering needs to be provided and distributed. It brought together experts from the communities of Petri nets and system engineering both from industry and academia to exchange the newest results and experiences. Project partners include the universities of Eindhoven, Genova, Hamburg, Paris, Turin, Vienna, and Zaragoza. This post-workshop book puts together some papers presented at the workshop which were rewritten and then selected after a second reviewing process. The selected approaches cover modelling, verification, and validation.
Some contributions explain verification techniques based on state spaces and temporal logic.
Furthermore, the analysis of systems by structural techniques is covered as well as feasibility of using Petri nets and related tools for the analysis of workflows. Altogether the papers reflect current and relevant research and work on Petri nets in system engineering.