Learning Outcomes:
to understand the principles of Petri Nets as a tool for modelling and designing complex systems with parallel processes, distributed states, and hierarchical structure,
to acquire the fundamental terminology and methods of Petri Net theory,
to apply Petri Net methods in the modelling and design of information systems,
to use Petri Nets in areas such as business process modelling, parallel programming, operating systems, distributed databases, and process control,
to develop the ability to transform an informal verbal system description into a formally precise and intuitive (graphical, network-based) representation,
to analyse the behaviour of modelled systems using the concepts and methods of Petri Net theory,
to interpret the results of model analysis and hierarchisation in the context of real system design.