PetriNets2025: 46th International Conference on the Application and Theory of Petri Nets and Concurrency Université Sorbonne Paris Nord Paris, France, June 23-27, 2025

The 46th annual international Petri Nets conference will be organised by the LoVe (Logics and Verification) team at the Université Sorbonne Paris Nord, France, jointly with members of the MeFoSyLoMa group. The conference will takeplace at the Campus Condorcet.

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 or focused on applications of concurrency to system design 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 a renowned journal.

Important Dates

• Abstract submission: January 15, 2025 (AoE)
• Submission of papers: January 22, 2025 (AoE)
• Notification: March 10, 2025
• Final version due: March 24, 2025
• Participation in Tool Exhibition: May 30, 2025
• Workshops and Tutorials: June 23–24, 2025
• Main Conference: June 25–27, 2025

Submission Guidelines

All papers must be original and not simultaneously submitted to another journal or conference. The following paper categories are welcome:

• Regular papers (max. 20 pages excluding references) describing original results pertaining to the development of thetheory 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.
• Tool papers (max. 10 pages excluding references) describing a computer tool based on Petri nets (not an application ofthe tool or the theory behind the tool). The tool should be available for use by other groups (but not necessarily for free). Thesubmission should indicate how the reviewers can get access to the tool (this must be for free). The tool will be demonstratedin the Tool Exhibition, in addition to being presented in a conference talk.

Submitted papers must

• be contributions that have not been published or submitted to other conferences/journals before or in parallel with this conference;
• clearly state the problem being addressed, the goal of the work, the results achieved, and the relation to other work;
• be in English and in the Springer LNCS-format: https://www.springer.com/gp/computer-science/lncs/conference-proceedings-guidelines;
• adhere to the page limit for the relevant category (see above);
• be sent electronically (as a PDF file) using the website https://easychair.org/conferences/?conf=petrinets2025 before the deadline.

The title page must

• contain a short abstract and a classification of the topics covered, preferably using the list of topics above;
• clearly indicate whether the paper is submitted as a regular paper or tool paper.

Submissions violating the above requirements may be immediately rejected by the PC Chairs.

List of Topics

General topics of interest related to concurrency:

• Application of concurrency to system design: formal models for designing computer systems with concurrent behaviour; applied research aimed at designing computer systems which exhibit 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.

Committees

Organization Chairs

• Étienne André, Université Sorbonne Paris Nord, France
• Carlos Olarte, Université Sorbonne Paris Nord, France

Program Chairs

• Elvio Amparore, Univeristy of Turin, Italy
• Łukasz Mikulski, Nicolaus Copernicus University in Toruń, Poland

Program Committee

• Elvio Amparore, Italy (co-chair)
• Abel Armas Cervantes, Australia
• João Paulo Barros, Portugal
• Benoît Delahaye, France
• João Miguel Fernandes, Portugal
• Guiliana Franceschinis, Italy
• Luis Gomes, Portugal
• Xudong He, USA
• Loïc Helouet, France
• Wojciech Jamroga, Luxemburg
• Gabriel Juhás, Slovakia
• Anna Kalenkova, Australia
• Michael Köhler-Bußmeier, Germany
• Lars Kristensen, Norway
• Lisa Mannel, Germany
• Łukasz Mikulski, Poland (co-chair)
• Andrew Miner, USA
• Guillermo Alberto Perez, Belgium
• Marta Pietkiewicz-Koutny, UK
• Artem Polyvyanyy, Australia
• Lucia Pomello, Italy
• Andrey Rivkin, Denmark
• Natalia Sidorova, The Netherlands
• Jiří Srba, Denmark
• Jeremy Sproston, Italy
• Nathalie Sznajder, France
• Remigiusz Wiśniewski, Poland
• Karsten Wolf, Germany

Contact

All questions about submissions should be emailed to pn2025-PC-chairs@petrinet.net.

All questions about participation in the conference should be emailed to pn2025@petrinet.net.