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