Models of Distributed Systems
Course information
  • Course topics
    • Petri nets. Properties and analysis methods for Petri nets. Special classes of Petri nets
    • Applications of Petri nets in modelling and analysis of distributed algorithms, communication protocols
    • Modelling and analysis of workflow processes using Petri nets
    • Modelling and analysis of distributed systems using extensions of Petri Nets
    • Coloured Petri nets: properties, analysis methods and applications in the modelling of distributed systems;
    • Time extensions of Petri nets and their applications.
    • Modelling and analysis of distributed systems using nested Petri nets
  • Course Bibliography (selections)
    • T.Jucan, F.L.Tiplea: Retetele Petri. Teorie si aplicatii. Editura Academiei Romane, Bucuresti, 1998.
    • T. Jucan, F.L.Tilplea: Retele Petri. Editura univ. "Al.I.Cuza", Iasi, 1995.
    • T. Murata, "Petri Nets: Properties, Analysis and Applications," Proc. IEEE, vol. 77, no. 4, pages. 541-580, Apr. 1989.
    • W. Reisig. Elements of Distributed Algorithms. Modeling and Analysis with Petri Nets, Springer-Verlag, 1998
    • K. Jensen. Coloured Petri Nets. Basic Concepts, Analysis Methods and Practical Use. Vol. 1, Basic Concepts. Monographs in Theoretical Computer Science, Springer-Verlag, 2nd corrected printing 1997. ISBN: 3-540-60943-1.
    • W.M.P. van der Aalst and K.M. van Hee. Workflow Management: Models, Methods, and Systems. MIT press, Cambridge, MA, 2004
    • L. Popova. On Time Petri Nets, Journal of Information Processing and Cybernetics, vol. 27, no. 4, 227-244, 1991
Evaluation system

Final grade: 50%LSA+50%T

  • LSA: seminar and laboratory activity. Evaluation forms:
    • laboratory test ( 40% of LSA)
    • homework (30% of LSA)
    • answers and problems solved during laboratory (30% LSA)
  • T: written test
Minimal requiements:
  • any student should attend at least 9 laboratories
  • LSA >=5
  • T>=5
Lectures
The lecture notes will be available on the Discord server for this object
Online activity
Announcements