Faculty: Department of Computer and Information Science
Petri nets (named after C. A. Petri) are a well-known and often used structure for the modelling and simulation of different processes in engineering, science, economy and other areas. This course presents a theory for the modelling with Petri nets and different techniques for the analysis of Petri nets. A number of examples enrich the theoretical understanding. Beside elementary Petri nets this course will also deal with Petri net extensions.