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

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, Lars M. Kristensen (2009.), Coloured Petri Nets, Springer Science & Business Media

General

ID 154837
  Summer semester
6 ECTS
L0 English Level