Call for Papers and Announcement

21–25 June 2021, Paris, France

The 42nd annual international Petri Nets conference will be organised by the LoVe (Logics and Verification) team of the computer science laboratory LIPN (Laboratoire d’Informatique de Paris Nord), University Sorbonne Paris Nord and CNRS, jointly with members of the Paris region MeFoSyLoMa group (Méthodes Formelles pour les Systèmes Logiciels et Matériels). The conference will take place at the Maison des Sciences de l’Homme, which fosters and promotes research in humanities and social sciences. 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 from the applications of concurrency to systems design are encouraged to submit to this special track. 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.

Additional information about the conference will be published via http://conf-2021.petrinet.net.

Important dates:

• Abstract submission January 13, 2021
• Submission of papers January 20, 2021
• Notification March 5, 2021
• Final version due March 19, 2021
• Participation in Tool Exhibition May 31, 2021
• Workshops and Tutorials June 21–22, 2021
• Main Conference June 23–25, 2021

General topics 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

Special track on ACSD (Application of Concurrency to System Design) 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.