Petri Nets 2025

Welcome

The 46th International Conference on Theory and Application of Petri Nets and Concurrency conference will be organized by the LoVe team at Laboratoire d’Informatique de Paris Nord (LIPN), Université Sorbonne Paris Nord jointly with members of the MeFoSyLoMa group. The conference will take place at the Campus Condorcet, Paris-Aubervilliers, France.

Photo by Anthony DELANOIX

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 (e.g, coloured nets, timed nets)
• 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
  • 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 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