Petri Nets

Petri nets constitute a class of frequently used tools for modelling,
design, and analysis of complex systems with distributed states,
parallel processes and hierarchical structure. They have numerous
applications in the area of data processing, operating systems,
distributed databases, and controlling of complex processes.
The course presents the basic notions and methods of Petri net theory
and with the methodologies of their use in specification, design,
analysis and verification of information and other systems.