Petri Nets and Distributed Systems

Course Description

Modeling, simulation and performance evaluation of complex and distributed dynamic systems by Petri nets. The modular Petri net approach to production system modeling and performance evaluation. Classes of enhanced Petri Nets (parameterised, hierarchical, time extended, stochastic, coloured). Multipart call, service and traffic modeling. Intelligent agent and multi-agent system modelling, verifying techniques. Case studies: computers, communications, networks and agent systems.

Study Programmes

Postgraduate doctoral study programme


James Lyle Peterson (1982.), Petri net theory and the modeling of systems, Prentice Hall
Wolfgang Reisig (2013.), Elements of Distributed Algorithms: Modeling and Analysis with Petri Nets, Springer Science & Business Media
Kurt Jensen (Ed.) (2008.), Transactions on Petri Nets and Other Models of Concurrency I, Springer Science & Business Media

For students


ID 154837
  Summer semester
L0 English Level