Call for Papers

Call for Tool Demonstrations

(

Call for Papers - Affiliated Workshops (deadline passed)

Call for Papers - Main conference (deadline passed)

The 43rd International Conference on Application and Theory of Petri Nets and Concurrency will take place in Bergen, Norway on 19 June - 24 June, 2022. The conference is organised by the Software Engineering Research Group at Western Norway University of Applied Sciences and will be held at Campus Bergen.

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 are sought. Authors of papers focused on applications of concurrency to systems design are encouraged to submit to the ACSD special track.

PDF of this call for papers

General topics of interest related to 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 (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

Special track on Application of Concurrency to System Design (ACSD)

Both theoretical and applied research about formal approaches (in a broad sense) to designing computer systems that exhibit concurrent behaviour. The formal models of computation and concurrency for the above systems and problems are not limited by Petri nets, but also include models like dataflow models, communicating automata, process algebras, graph rewriting systems, state charts, MSCs, modal and temporal logics.

Paper Submission

Two kinds of papers can be submitted

  • Regular papers (max. 20 pages excluding references)} describing original results pertaining to the development 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 for free). The tool will be demonstrated in the Tool Exhibition, in addition to being presented in a conference talk.

Papers must be written in English using the Springer LNCS format: including line numbers (e.g., using the lineno LaTeX package) and submitted electronically (as a PDF file) using EasyChair:

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 Fundamenta Informaticae.