Petri Nets – An Intuitive Formalism for Concurrency (Part 1)

We give a short introduction to Petri nets as formalism for the modelling of concurrent systems. In the first part, we introduce Place-Transition-Systems as classical representative of the Petri net family and explain basic modelling concepts. In the second part we discuss modern extensions of the basic formalism that enhance expressiveness for modelling and are essential in complex applications.