Petri Nets and Distributed Systems

Data is displayed for academic year: 2023./2024.

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

Literature

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

General

ID 154837
  Summer semester
6 ECTS
L0 English Level