IMPORTANT - THIS PAGE IS UNDER CONSTRUCTION.
Introduction
We provide below some resources if you are interested in learning Petri Nets.
Video Tutorials
The tutorials below are of easy to access due to their nature.
Precess Modeling (2021)
This is a series of videos that are part of a course on Process Modeling. The video directly pointed here is good for an introduction to Petri nets (there are some other useful videos after it).
From Symmetric Nets to Symmetric Nets with Bags (2015)
This is a tutorial presented at the 36th International Conference on Application and Theory of Petri Nets and Concurrency in Brussels in June 2015.
Books
Parametric verification with Petri Nets (2017)
This is a series of videos that are part of an advanced tutorial on Parametric Verification presented at the 38th International Conference on Application and Theory of Petri Nets and Concurrency in Zaragoza in June 2027. The video directly pointed here deals with parametric Petri Nets ; the next videos are also useful for an advanced use of Petri Nets.
Books
Here are some books you may refer to when willing to learn Petri Nets.
- To be defined
- To be defined
- To be defined
- To be defined
- To be defined
Online Tutorials
A tutorial
To be defined