Petri Nets: Applications and Theory of Petri Nets



Past:   Proceedings on DBLP

Future:  Post a CFP for 2024 or later   |   Invite the Organizers Email


All CFPs on WikiCFP

Event When Where Deadline
Petri Nets 2023 44th International Conference on Application and Theory of Petri Nets and Concurrency
Jun 25, 2023 - Jun 30, 2023 Lisbon, Portugal Jan 20, 2023 (Jan 13, 2023)
Petri Nets 2022 43rd International Conference on Application and Theory of Petri Nets and Concurrency
Jun 19, 2022 - Jun 24, 2022 Bergen, Norway Jan 27, 2022 (Jan 20, 2022)
Petri Nets 2019 Applications and Theory of Petri Nets
Jun 23, 2019 - Jun 28, 2019 Aachen, Germany Jan 22, 2019 (Jan 16, 2019)
Petri Nets 2017 CFP 38th Int. Conf. on APPLICATIONS AND THEORY OF PETRI NETS AND CONCURRENCY (Petri nets 2017), Zaragoza, Spain, June 25-30, 2017
Jun 25, 2017 - Jun 25, 2017 Zaragoza, Spain Jan 15, 2017 (Jan 10, 2017)
Petri Nets 2016 ICATPN-16: 37th International Conference on Application and Theory of Petri Nets and Concurrency
Jun 19, 2016 - Jun 19, 2016 Toruń, Poland TBD
Petri Nets 2015 36th International Conference on Application and Theory of Petri Nets and Concurrency
Jun 21, 2015 - Jun 26, 2015 Brussels, Belgium Jan 10, 2015
Jun 26, 2013 - Jun 28, 2013 Milano, Italy Jan 15, 2013 (Jan 10, 2013)
Petri Nets 2012 33rd International Conference on Application and Theory of Petri Nets and Concurrency
Jun 27, 2012 - Jun 29, 2012 Hamburg, Germany Jan 10, 2012

Present CFP : 2023

Preliminary Call for Papers

The 44th annual international Petri Nets conference will be organized by the R&D Group on Reconfigurable and Embedded Systems at NOVA School of Science and Technology and will be held at Lisbon on one of the campi of NOVA University Lisbon.
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 systems design are encouraged to submit.
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.

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
embedded systems
process mining
biological systems
supervisory control
health and medical systems
railway networks
Internet and Web services
environmental systems
e-commerce and trading
programming languages
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

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. lineno LATEX package) and submitted electronically (as a PDF file) by the deadline indicated at the top of this Call for Papers using EasyChair

Tool Exhibition
An exhibition of Petri net tools will take place on Wednesday. It consists of informal demonstrations for small groups/individuals and there are no scheduled talks. Requests for participation in the tool exhibition must be sent to the Tool Exhibition chairs by the deadline stated at the top of this Call for Papers. They should include a link to the Web pages for the tool (or a short description of the tool). The demonstrators should bring their own laptops, while the organisers may be requested to give access to the Internet.

Courses, Workshops and Tutorials
The main conference takes place from Wednesday 28 to Friday 30. The three days before the main conference also offer a wide range of activities. The Petri Net Course takes place from Sunday 25 to Tuesday 27. It offers a thorough introduction to Petri nets in four half-day modules on Sunday 25 and Monday 26, and a full-day tutorial module on Tuesday 27. For successful participation in the entire course, including preparation and examination, three credit points (ECTS) will be awarded. Each module of the course can also be taken separately, without any credit. Detailed descriptions of Workshops and Tutorials will be made available via the conference Web pages. It is also possible to arrange Meetings and Courses related to Petri Nets. Submissions for such activities must contain a 2–5 page description. They must be received by the Workshops chairs via email no later than January 13, 2023.

Related Resources

EI-CFAIS 2023   2023 International Conference on Frontiers of Artificial Intelligence and Statistics (CFAIS 2023)
Petri Nets 2023   Petri Nets for Control and Optimization
GreeNet Symposium - SGNC 2023   14th Symposium on Green Networking and Computing (SGNC 2023)
CONCUR 2023   International Conference on Concurrency Theory
IEEE Xplore-Ei/Scopus-CCCAI 2023   2023 International Conference on Communications, Computing and Artificial Intelligence (CCCAI 2023) -EI Compendex
HICSS Cellular+Wireless Nets 2023   Cellular and WIreless Networks minitrack of the 2023 Hawaii International Conference on Systems Sciences
ECCSIT 2023   2023 European Conference on Computer Science and Information Technology (ECCSIT 2023)
PLACES 2023   14th Workshop on Programming Language Approaches to Concurrency- and Communication-cEntric Software
EDUIT 2023   International Conference on Education & Information Technology
CSAE 2023   The 7th International Conference on Computer Science and Application Engineering