The Petri Net Conference 2027 will take place in Rennes, at the Faculty of Economical Science. We seek papers presenting original research on the application or theory of Petri nets, as well as contributions addressing concurrent sys- tems more broadly, or applications of concurrency to system design.

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 various domains

General Topics related to Concurrency

  • Application of concurrency to system design
  • 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

Paper Submission

Two kinds of papers can be submitted:
  • Regular papers (max. 20 pages excluding references) describing original results pertaining to the devel- opment 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.
  • Tool papers (max. 10 pages excluding references)
    • 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 free). The tool will be demonstrated at the Tool Exhibition.
Submissions must use the Springer LNCS format and include line numbers (use the lineno LATEX package)