Covid-19 outbreak

Our highest priority is the safety of all participants. Due to the covid19 outbreak, Petri Nets 2020 will happen as a virtual conference, with prerecorded videos of the talks, and live sessions for discussion via BigBlueButton (no software needed, just a browser). Registration is free (except for one author per paper for which we ask a small fee) but compulsory.

You can already book your Wednesday 24th and Thursday 25th of June.

Important dates

Abstract submission

15th22nd January 2020 AoE

Paper submission

21st28th January 2020 AoE

Notification

6th March 2020

Camera-ready

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

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).

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.

Program

Program

The format of the virtual conference is as follows: each paper will consist of

  • a paper published in online and paper proceedings (as usual)
  • a 180-second video teaser of the paper (semi-compulsory)
  • a 20-mn video presentation of the paper (optional but recommended) with slides

Videos and slides will be available online from 22nd of June.

Then, the virtual conference will consist of live Q&A audio sessions (presumably using BigBlueButton, only a browser is needed), grouped by thematic sessions. Attendance is open to anyone (but free registration is compulsory so as to get the conference URL).

All times are given in UTC+2.

Wednesday June 24, 2020 Workshops
14:00–14:30 ATAED session 1
14:30–15:00 ATAED session 2
15:00–15:30 ATAED session 3
15:30–16:00 Virtual coffee break and free discussions
16:00–16:30 PNSE, session 1
16:30–17:00 PNSE, session 2
17:00–17:30 PNSE, session 3
17:30–18:00 Model checking contest discussion
Thursday June 25, 2020 Petri Nets main conference
13:30–14:00 Petri nets conference opening
14:00–14:30 Session #1: Applications of Concurrency to System Design (ACSD) (chair: Thomas Chatain)
Pierre Bouvier, Hubert Garavel and Hernán Ponce de León. 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
14:30–15:00 Session #2: Tools (chairs: Benoît Barbot and Alexandre Duret-Lutz)
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
15:00–15:30 Session #3: Process Mining and Applications (chair: Stefan Haar (TBC))
Anna Kalenkova, Josep Carmona, Artem Polyvyanyy and Marcello La Rosa. Automated Repair of Process Models Using Non-Local Constraints
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
15:30–16:00 Virtual coffee break and free discussions
16:00–16:30 Session #4: Languages and Synthesis (chair: David de Frutos Escrig)
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
16:30–17:00 Session #5: Semantics (chair: Loic Helouet)
Roberto Gorrieri. A Study on Team Bisimulations for BPP Nets
Roberto Gorrieri. Interleaving vs True Concurrency: Some Instructive Security Examples
Rüdiger Valk. Circular Traffic Queues and Petri’s Cycloids.
Guanjun Liu. PSPACE-completeness of the Soundness Problem of Safe Asymmetric-Choice Workflow nets
17:00–17:30 Session #6: Extensions and Model Checking (chair: Karsten Wolf)
Yann Thierry-Mieg. Structural Reductions Revisited
Martin Schwarick, Christian Rohr, Fei Liu, George Assaf, Jacek Chodak and Monika Heiner. Efficient Unfolding of Coloured Petri Nets using Interval Decision Diagrams
Serge Haddad and Igor Khmelnitsky. Dynamic Recursive Petri Nets
17:30–18:00 Awards and closing session

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

Registration is free but compulsory. We however ask a paid registration (50€) for one author of each accepted paper, to cover possible last-minute organization fees, and help to sponsor the cash prizes.

Category Fee
Author (one per paper) 50€
Regular participant 0€

Go to the registration Web site

Venue: a virtual conference

Venue

Virtual conference

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