Petri Net Course - Universität Rostock

The Petri Net Course is offered as a satellite event of the 47th International Conference on Application and Theory of Petri Nets and Concurrency. In 2026, the conference is held in Hamburg, marking the 100th anniversary of Carl Adam Petri, at the university where he once held an honorary professorship. [Link to conference]

The course provides a structured introduction to Petri Nets and is organized into four modules, complemented by two tutorial sessions on applications and recent developments presented by international experts. The learning format combines flexible online preparation with on-site participation:The first two modules are available as videos and can be completed in advance at your own pace. The remaining two modules and the tutorials take place during the conference. Each module can be attended independently. The tutorials can also be joined as standalone sessions.

DATE
Flexible online phase, on-site sessions on June 22 and 23, 2026

COURSE TYPE
online course combined with on-site sessions

FEE
free of charge

PROSSESING TIME
about 20 hours

LANGUAGE
English

Inhalte

Modules:

Basic Net Classes
Coloures Petri Nets and the CPN Tools
Verification and Model Checking of Petri Nets
Timed and Stochastic Petri Nets

Tutorials:

Object-centric process modelling and analysis
Variability-Aware Analysis of Concurrent Systems with Petri Nets

Zielgruppe

Master’s students in computer science and related disciplines
PhD candidates in computer science, particularly those working on distributed or concurrent systems
Researchers and advanced learners with an interest in modeling and analysis using Petri nets
Participants of the accompanying international conference