Sad news

Tadao Murata (1938-2021)

Tadao Murata

It is a truly sad news that Professor Tadao (Tad) Murata passed away on 22nd May 2021. Tad was a pioneer of Petri net theory and its applications, and an international leader in this field whose interests included software engineering as well as modelling and analysis of concurrent and distributed systems. He organized one of the first Petri Nets conferences in Chicago in 1993 and, among his accolades, he was the first recipient of the Carl Adam Petri Distinguished Technical Achievement Award by the Society for Design & Process Science. His ideas, enthusiasm and the pursuit of the most challenging scientific goals influenced and inspired the whole of Petri nets community. He will be fondly remembered by all of us, and his work will provide lasting influence for the new generations of researchers.

More facts about Professor Murata’s life and achievements can be found at www.cs.uic.edu/~murata/biosketch.html and www.pedersenryberg.com/obituary/dr-tadao-tad-murata.

Covid-19 outbreak

Due to the covid19 outbreak, Petri Nets 2021 will happen as a virtual conference, with prerecorded videos of the talks (except for invited talks, that will be live), and live sessions for discussion (Q&A only). Registration is free but compulsory to get access to the videos of the talks and the Q&A server.

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

24 June 2021

Invited speakers (live)

Serge Abiteboul

Serge Abiteboul

Title: Content Moderation in Social Media and AI

We love to communicate. We love to share. We love to debate, exchange – sometimes vigorously. This is why we developed social media. But, the proliferation of social media has also raised several concerns. How do we fix this? I will discuss the importance of social media in today’s world, the responsibility of social media platforms, and why machine learning is necessary for effective and efficient content moderation.
Note: using some material from here.

Luca Bernardinello

Luca Bernardinello

Title: Topics in Region Theory and Synthesis Problems

Regions, as introduced by Ehrenfeucht and Rozenberg more than thirty years ago, have been used as a fundamental tool in synthesis problems, where a Petri net of a specific type must be built from a specification given in terms of a transition system. Some topics emerged in the research on regions are discussed, and a few open problems are stated. In particular, the paper focuses on three areas: (1) the notion of "type of nets" as a tool for unifying the theory of regions, and as a notion leading to new variants of Petri nets; (2) the algebraic aspects of region theory; (3) the proposal of a new type of regions, inspired by reaction systems, and the potential for studying problems of synthesis of reaction systems.

Jérôme Leroux

Jérôme Leroux

Title: Flat Petri Net

Vector addition systems with states (VASS for short), or equivalently Petri nets are one of the most popular formal methods for the representation and the analysis of parallel processes. The central algorithmic problem is reachability: whether from a given initial configuration there exists a sequence of valid execution steps that reaches a given final configuration. This paper provides an overview of results about the reachability problem for VASS related to Presburger arithmetic, by presenting 1) a simple algorithm for deciding the reachability problem based on invariants definable in Presburger arithmetic, 2) the class of flat VASS for computing reachability sets in Presburger arithmetic, and 3) complexity results about the reachability problem for flat VASS.

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 2021 are:

  • MCC 2021 (23 June)
  • PNSE 2021 (25 June)
  • Basic tutorials (postponed due to Covid19)
  • Advanced tutorials (postponed due to Covid19)
  • The Petri Nets course (postponed due to Covid19)

Registration

Registration is free but compulsory. We however ask a paid registration (50€) for one author of each accepted paper, to cover last-minute organization fees, and help to sponsor the awards. Paid registration comes with a printed version of the proceedings and an official Petri Nets 2021 backpack; both items will be sent to the participants address.

Of course, anyone who wishes to go for a paid registration, beyond one author per paper, is totally welcome (e.g., to receive a paper copy of the proceedings, and to get the wonderful Petri Nets 2021 backpack!).

Deadline for registration

  • Compulsory paid registration (one author per paper): 9th May 2021 (strict)
  • Paid registration (anyone): 31st May 2021 (preferred; later registrations may not receive backpacks on time)
  • Free registration: 21st June 2021 (preferred; later registrations will be considered but without guarantee)

Fees

Category Online proceedings Printed proceedings PN 2021 Backpack Fee
Author (at least one per paper) ✅ Yes ✅ Yes ✅ Yes 50€
Regular participant ✅ Yes ❌ No ❌ No 0€

Go to the registration Web site

Program

Program

The format of the virtual PN conference is as follows: each paper consists of

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

Then, the virtual conference consists of only live Q&A audio sessions, grouped by thematic sessions. Attendance is open to anyone (but free registration is compulsory so as to get the conference URL and access to all the PN videos).

The sessions contain only questions and answers, so make sure to have read the paper and/or watched the teaser and/or watched the full talk of the papers you may be interested in before attending the Q&A sessions.

Note that keynotes will be live (not prerecorded).

Access to the online proceedings

All times are given in UTC+2.

Wednesday 23 June 2021 Model-checking contest
10:30 MCC video available
14:00–16:00 Model checking contest discussions around (distributed around the world) beers
Thursday 24 June 2021 Petri Nets main conference
12:30–12:55 Virtual welcome coffee break
12:55–13:00 Petri nets conference opening
13:00–13:45
Keynote speaker 1 (live): Serge Abiteboul (chair: Didier Buchs)
Content Moderation in Social Media and AI 🎥 full talk video
13:45–14:15 Q&A Session #1: Applications of Concurrency to System Design (ACSD) (chair: Alex Yakovlev)
14:15–14:55 Q&A Session #2: Games and tools (chairs: David de Frutos and Karsten Wolf)
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 🎥 teaser video
14:55–15:10 Virtual coffee break and free discussions
15:10–15:55
Keynote speaker 2 (live): Jérôme Leroux (chair: Jörg Desel)
15:55–16:35 Q&A Session #3: Verification I (chair: Stefan Haar)
16:35–17:15 Q&A Session #4: Synthesis and mining (chair: Jetty Kleijn)
17:15–17:30 Virtual coffee break and free discussions
17:30–18:15
Keynote speaker 3 (live): Luca Bernardinello (chair: Josep Carmona)
18:15–18:55 Q&A Session #5: Reachability and partial order (chair: Javier Esparza)
18:55–19:25 Q&A Session #6: Semantics and verification II (chair: Loïc Helouet)
19:25–19:35 Q&A Session #7: Tool demos (chair: Benoît Barbot)
19:35–19:55 closing session and awards
Friday 25 June 2021 PNSE

full playlist

Tool demonstrations videos

Petri Nets 2021 hosts as a satellite the International Workshop on Petri Nets and Software Engineering (PNSE 2021), on 25 June 2021.

Venue: a virtual conference

Venue

Virtual conference

Due to the covid19 outbreak, Petri Nets 2021 will happen as a virtual conference with prerecorded videos for regular papers, live keynote presentations, and live Q&A sessions for regular papers.

Next year: Bergen

Petri Nets 2022

🇳🇴 Bergen, Norway

The next edition (Petri Nets 2022) will occur in June 2022 in Bergen, Norway.