Petri Nets and Distributed Systems
Data is displayed for academic year: 2023./2024.
Lecturers
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