Covid-19 outbreak

Our highest priority is the safety of all participants. Due to the COVID-19 pandemic, it is unfortunately now certain that Petri Nets 2021 will be held fully virtually.

Important dates

Abstract submission

13th January3rd February 2021 AoE

Paper submission

20th January3rd February 2021 AoE

Notification

5th March 2021

Camera-ready

19th March 2021

Main conference

23-25 June 2021

Invited speakers

Serge Abiteboul

Serge Abiteboul

Title: TBA

Luca Bernardinello

Luca Bernardinello

Title: TBA

Jérôme Leroux

Jérôme Leroux

Title: TBA

Accepted papers

The following papers (listed in no particular order) are accepted for presentation at Petri Nets 2021.

  • Marco Pegoraro, Merih Seran Uysal and Wil van der Aalst. PROVED: A Tool for Graph Representation and Analysis of Uncertain Event Data
  • Nicolas Amat, Bernard Berthomieu and Silvano Dal Zilio. On the Combination of Polyhedral Abstraction and SMT-based Model Checking for Petri nets
  • Samy Abbes. Deterministic concurrent systems
  • Raymond Devillers. Synthesis of (Choice-Free) Reset Nets
  • Daniel Schuster, Sebastiaan J. van Zelst and Wil M.P. van der Aalst. Cortado — An Interactive Tool for Data-Driven Process Discovery and Modeling
  • Manuel Gieseking and Nick Würdemann. Canonical Representations for Direct Generation of Strategies in High-level Petri Games
  • Loig Jezequel, Didier Lime and Bastien Seree. A Lazy Query Scheme for Reachability Analysis in Petri nets
  • Sophie Wallner and Karsten Wolf. Skeleton Abstraction for Universal Temporal Properties
  • Loic Helouet, Rituraj Singh and Zoltan Miklos. Cost and Quality in Crowdsourcing Workflows
  • Jiawen Kang, Yunjun Bai and Li Jiao. Abstraction-based Incremental Inductive Coverability for Petri nets
  • Adam Burke, Sander Leemans and Moe Wynn. Discovering Stochastic Process Models By Reduction and Abstraction
  • Martin Didriksen, Peter Gjøl Jensen, Jonathan F. Jønler, Andrei-Ioan Katona, Sangey D.L. Lama, Frederik B. Lottrup, Shahab Shajarat and Jiri Srba. Automatic Synthesis of Transiently Correct Network Updates via Petri Games
  • Pierre Bouvier and Hubert Garavel. Efficient Algorithms for Three Reachability Problems in Safe Petri Nets
  • Robin Bergenthum. Firing Partial Orders in a Petri Net
  • Ronny Tredup. Synthesis of Petri Nets with restricted place-environments: classical and parameterized
  • Rüdiger Valk. Deciphering the Co-car Anomaly of Circular Traffic Queues using Petri Nets.
  • Wil van der Aalst. Reduction Using Induced Subnets To Systematically Prove Properties For Free-Choice Nets
  • Michael Haustermann, David Mosteller and Daniel Moldt. Model Checking of Synchronized Domain-Specific Multi-Formalism Models Using High-Level Petri Nets
  • Javier Esparza, Mikhail Raskin and Christoph Welzel. Computing Parameterized Invariants of Parameterized Petri Nets
  • Rémi Parrot, Mikaël Briday and Olivier H. Roux. Timed Petri Nets with Reset for Pipelined Synchronous Circuit Design
  • Serge Haddad, Didier Lime and Olivier H. Roux. A Turn-Based Approach for Qualitative Time Concurrent Games
  • Ronny Tredup. Edge and event and state removal: the complexity of some basic techniques that make transition systems Petri net implementable

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

Submission

Format and submission

Springer LNCS

submission

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).
Also, you may want to use the LaTeX package cleveref taking care automatically of all your references (to sections, theorems…), as well as the hyperref package that produces hypertext links in your PDF document.

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.

Committees

Program committee

General chairs

Workshops and tutorial chairs

Tool demonstration chairs

Steering committee

Satellite events

The main satellite events of Petri Nets are:

Registration

Coming very soon

Program

Coming some day
Petri Nets 2021 hosts as a satellite the International Workshop on Petri Nets and Software Engineering (PNSE 2021), on 21-22 June 2021.

Venue: a virtual conference

Venue

Virtual conference

Due to the covid19 outbreak, Petri Nets 2021 will happen as a virtual conference.