Petri Nets 2025: Call for Papers

The 46th International Conference on Application and Theory of Petri Nets and Concurrency (Petri Nets 2025) will be held from June 22-27, 2025, in Paris, France.

The conference is organized by the SAFER team from Laboratoire d’Informatique de Paris Nord (LIPN), Université Sorbonne Paris Nord jointly with members of the MeFoSyLoMa group.

Topics Specific to Petri Nets

• Analysis and synthesis, structure and behavior 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 (e.g., colored nets, timed nets)
• Stochastic net models
• Verification and model checking using nets
• Process discovery and conformance checking
• Computer tools for nets
• Standardization 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
  • railway networks
  • Internet and Web services
  • environmental systems
  • e-commerce and trading
  • hardware
  • programming languages
  • telecommunications
  • protocols and networks
  • performance evaluation
  • component based development
  • operations research

General Topics of Interest Related to Concurrency

• Application of concurrency to system design:
  • formal models (e.g., dataflow models, communicating automata, process algebras, modal and temporal logics) for designing computer systems with concurrent behavior
  • 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
• Modeling of hardware and biological systems

Important Dates

All dates are AoE (Anywhere on Earth):

• Abstract submission: 29 January 2025
• Paper submission: 29 January 2025
• Notification: 16 March 2025
• Camera ready: 30 March 2025
• Petri Nets course: 23 June 2025
• PNSE Workshop: 23-24 June 2025
• ATAED Workshop: 24 June 2025
• PeNGE Workshop: 24 June 2025
• Tutorials: 24 June 2025
• Main conference: 25-27 June 2025

Committees

• PC Chairs: Elvio Amparore, Łukasz Mikulski
• Local Chairs: Étienne André, Carlos Olarte
• Local Chairs Contact: pn2025@petrinet.net