The 45th International Conference on Theory and Application of Petri Nets and Concurrency conference will be organised by the SMV (Semantics, Modeling and Verification) team at the Computer Science Department of the Faculty of Sciences of the University of Geneva, Switzerland, jointly with members of the Centre Universitaire d’Informatique. The conference will take place at the Campus Biotech Geneva. The Campus Biotech is an institution hosting research institutes and biotechnology companies. The Campus Biotech is a part of the Swiss Innovation Park.

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.


Supported by:SIRA-Logo.pngIMG_0122.pnglogo_smv.pdf

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 real-time systems

    • embedded systems

    • biological systems

    • health and medical systems

    • environmental systems

    • hardware telecommunications

    • railway networks

    • component based development

    • office automation workflows

    • process mining

    • supervisory control

    • protocols and networks

    • Internet and Web services

    • e-commerce and trading

    • programming languages

    • performance evaluation

    • operations research

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