|
ECTS:
|
6
|
Lecturers in charge:
|
Prof. dr. sc.
Dragan Jevtić
|
English level:
1,1,1
|
All teaching activities in the course will be held on English. This level includes courses with multiple groups (i.e., all teaching will be held strictly in Croatian for Croatian groups, and strictly in English for English groups).
|
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.
|
Literature:
|
- J. L. Peterson: Petri Net Theory and the Modeling of the Systems, Prentice Hall, Englewood Cliffs, 1982.
- W. Reisig: Elements of Distributed Algorithms - Modeling and Analysis with Petri Nets, Springer, 1998.
- K. Jensen: Coloured Petri Nets, Vol. 1, 2 and 3, Springer-Verlag, 1996., 1997.
|
|
Ljetni semester
|
course for
Graduation study
|
|
