Covid-19 outbreak

The organizers of Petri Nets 2020 take very seriously the covid19 outbreak. Our highest priority is the safety of all participants. We are currently monitoring the situation, considering backup solutions, and will take any appropriate decision if needed.

Paris Summer of LoVe 2020

Petri Nets 2020 is part of Paris Nord Summer of LoVe 2020, a joint event on Logic and Verification at Université Sorbonne Paris Nord, made of Petri Nets 2020, IJCAR 2020, FSCD 2020, and over 20 satellite events.

Important dates

Abstract submission

15th22nd January 2020 AoE

Paper submission

21st28th January 2020 AoE


6th March 2020


20th March 2020

Main conference

24-26 June 2020

Call for papers

Call for papers

General topics related to concurrency

  • Model checking and verification of distributed systems
  • Verification of infinite-state or parametric systems
  • Causality/partial order theory of concurrency
  • Educational issues related to concurrency
  • New developments in the theory of concurrency
  • Modelling of hardware and biological systems

Topics specific to Petri Nets

  • Analysis and synthesis, structure and behaviour of nets
  • System design and model-driven development using nets
  • Relationships between Petri nets and other approaches
  • Net-based semantical, logical and algebraic calculi
  • Higher-level net models (coloured nets, timed nets, etc.)
  • Stochastic net models
  • Verification and model checking using nets
  • Process discovery and conformance checking
  • Computer tools for nets
  • Standardisation of nets
  • Experience reports describing applications of nets to different kinds of systems and application fields, e.g.:
    • flexible manufacturing systems
    • office automation
    • real-time systems
    • workflows
    • embedded systems
    • process mining
    • biological systems
    • supervisory control
    • health and medical systems
    • protocols and networks
    • environmental systems
    • Internet and web services
    • hardware
    • e-commerce and trading
    • telecommunications
    • programming languages
    • railway networks
    • performance evaluation
    • component based development
    • operations research


Format and submission

Springer LNCS


The language of the conference is English, and its proceedings will be published by Springer-Verlag in Lecture Notes in Computer Science. Papers presenting original research on application or theory of Petri nets, as well as contributions addressing topics relevant to the general field of distributed and concurrent systems are sought. All accepted papers will be considered for an "Outstanding Paper" award. Authors of selected papers presented at the conference will be invited to submit an extended version that will be further reviewed for inclusion into a special issue of Fundamenta Informaticae.

Paper Submission and categories

Two kinds of papers can be submitted:

  1. Regular papers (max. 20 pages) describing original results pertaining to the development of the theory of Petri nets and distributed and concurrent systems in general, new results extending the applicability of Petri nets, or case studies, application and experience reports pertinent to the practical use of Petri nets and concurrency.
  2. Tool papers (max. 10 pages) describing a computer tool based on Petri nets (not an application of the tool or the theory behind the tool). The tool should be available for use by other groups (but not necessarily for free). The submission should indicate how the reviewers can get access to the tool (this must be for free). The tool will be demonstrated in the Tool Exhibition, in addition to being presented in a conference talk.

Papers must be written in English using the Springer LNCS format and submitted electronically (as a PDF file) by the deadline indicated at the top of this Call for Papers using EasyChair.

We strongly encourage authors to add line numbers to their submitted paper (for example using the LaTeX lineno package).

Authors should consult Springer’s authors’ guidelines and use their proceedings templates, either for LaTeX or for Word, for the preparation of their papers. Springer encourages authors to include their ORCIDs in their papers.

Accepted papers

Accepted papers

Applications of Concurrency to System Design (ACSD)

  • Pierre Bouvier, Hubert Garavel and Hernan Ponce de Leon. Automatic Decomposition of Petri Nets into Automata Networks - A Synthetic Account
  • Loic Helouet, Rituraj Singh, Zoltan Miklos and Pierre Bourhis. Data Centric Workflows for Crowdsourcing
  • Isabella Kaufmann, Kim Guldstrand Larsen and Jiri Srba. Synthesis for Multi-Weighted Games with Branching-Time Winning Conditions


  • Wil van der Aalst, Daniel Tacke Genannt Unterberg, Vadim Denisov and Dirk Fahland. Visualizing Token Flows Using Interactive Performance Spectra
  • Lorenzo Capra, Massimiliano De Pierro and Giuliana Franceschinis. SNexpression: a symbolic calculator for Symmetric Net expressions
  • Jörg Desel, Marc Finthammer and Andrea Frank. Cyclon - A Tool for Determining Stop-Transitions of Petri Nets
  • Elvio Gilberto Amparore, Susanna Donatelli and Francesco Gallà. A CTL* model checker for Petri nets
  • Jan Martijn E.M. van der Werf and Artem Polyvyanyy. The Information Systems Modeling Suite: Modeling the Interplay between Information and Processes
  • Silvano Dal Zilio. MCC: a Tool for Unfolding Colored Petri Nets in PNML Format

Languages and Synthesis

  • Olivier Finkel. On the High Complexity of Petri Nets ω-Languages
  • Raymond Devillers, Eike Best and Evgeny Erofeev. A New Property of Choice-Free Petri Net Systems
  • Shyam Lal Karra, Kim Guldstrand Larsen, Marco Muniz and Jiri Srba. On-the-Fly Synthesis for Strictly Alternating Games

Process Mining and Applications

  • Roberto Aringhieri, Paolo Ballarini, András Horváth and Davide Duma. Petri nets validation of Markovian models of Emergency Department arrivals
  • Vadim Denisov, Dirk Fahland and Wil van der Aalst. Repairing Event Logs with Missing Events to Support Performance Analysis of Systems with Shared Resources
  • Xavier Allamigeon, Marin Boyet and Stephane Gaubert. Piecewise affine dynamical models of Timed Petri Nets - Application to Emergency Call-Centers
  • Anna Kalenkova, Josep Carmona, Artem Polyvyanyy and Marcello La Rosa. Automated Repair of Process Models Using Non-Local Constraints


  • Roberto Gorrieri. Interleaving vs True Concurrency: Some Instructive Security Examples
  • Roberto Gorrieri. A Study on Team Bisimulations for BPP Nets
  • Rüdiger Valk. Circular Traffic Queues and Petri’s Cycloids.
  • Guanjun Liu. PSPACE-completeness of the Soundness Problem of Safe Asymmetric-Choice Workflow nets

Extensions and Model Checking


Program committee

Satellite events

Petri Nets 2020 is part of Paris Nord Summer of LoVe 2020, a joint event on Logic and Verification at Université Sorbonne Paris Nord, made of Petri Nets 2020, IJCAR 2020, FSCD 2020, and over 20 satellite events.

The main satellite events of Petri Nets are:

See Paris Nord Summer of LoVe 2020 for the day-by-day schedule.


Coming soon


Coming soon

Venue: Université Sorbonne Paris Nord

Some fancy but useless icons