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