Baasoskuste omandamine värvitud Petri võrkude kasutamiseks koostoimivate süsteemide modelleerimisel ja valideerimisel.

Acquiring basic skills for using Coloured Petri Nets (CPN) in modelling and validating interoperable systems.

Peale kursuse lõppu on üliõpilane võimeline:
1. mõistma klassikalise ja värvitud Petri võrkude erinevust;
2. modelleerima koostoimivaid süsteeme kasutades CPN vahendeid;
3. koostama manuaalseid, poolautomaatseid ja automaatseid CPN simulatsioone;
4. koostama lihtsaid Standard ML programme;
5. leidma kitsaskohti CPN mudelites;
6. viima läbi CPN mudelite state-space analüüsi;
7. kontrollima koostoimivate süsteemide mudeleid kasutades model checking vahendeid.

On completion of the course, the student:
1. Can understand the differences between classic and coloured Petri nets;
2. Model interoperable systems using CPN tools;
3. Compile manual, semi-automated and automated CPN simulations;
4. Compile simple Standard ML programmes;
5. Find bottlenecks in CPN models;
6. Carry out state-space analysis of CPN models;
7. Check interoperable system models using model checking tools.

Kursusel käsitletakse järgmisi mõisteid ja teemasid: klassikalised Petri võrgud, värvitud Petri võrgud (CPN), koostoimivad süsteemid, valideerimine, simulatsioon, mudelite kontrollimine (model checking), jõudluse kontrollimine (performance checking), state-space analüüs, CPN vahendid. Kursuse fookuseks on värvitud Petri võrkude olemuse mõistmine ja reaalsetes projektides kasutamine.

The course covers the following definitions and themes: classical Petri Nets, Coloured Petri Nets (CPN), interoperable systems, validation, simulation, model checking, performance checking, state-space analysis, CPN tools. The course focusses on understanding the nature of CPNs and using them in real projects.

Teadmiste kontroll toimub eksamil. Üliõpilane peab eksamile pääsemiseks olema koostanud ja kaitsnud projekti.

Examination. To be admitted to the examination, the student must have compiled and defended the project.

2* 16 tundi loenguid + 2*16 harjutustundi + 92 tundi iseseisvat (sisaldab projekti) tööd = 156 tundi. Iseseisev töö sisaldab kodused ülesanded, rakenduslikku uurimistööd, meeskondlikku projekti.

2* 16 h of lectures + 2* 16 h of practical work + 92 h of independent work (including project) = 156 h. Independent work includes homework, practical research, team work project.

Compulsory literature:
1) K. Jensen and L.M. Kristensen. Coloured Petri Nets -- Modelling and Validation of Concurrent Systems. Springer-Verlag Berlin, 2009.
Additional literature:
2) K. Jensen, L.M. Kristensen, and L. Wells. Coloured Petri Nets and CPN Tools for Modelling and Validation of Concurrent Systems. International Journal on Software Tools for Technology Transfer (STTT)9(3-4), pp. 213-254, 2007.
3) M. Westergaard and L.M. Kristensen. The Access/CPN Framework: A Tool for Interacting with the CPN Tools Simulator. Proc. of 30th International Conference on Applications and Theory of Petri Nets (Petri Nets 2009). Lecture Notes in Computer Science 5606, pp. 313-322, Springer-Verlag Berlin, 2009.
4) A.V. Ratzer, L. Wells, H.M. Lassen, M. Laursen, J.F. Qvortrup, M.S. Stissing, M. Westergaard, S. Christensen, and K. Jensen. CPN Tools for Editing, Simulating, and Analysing Coloured Petri Nets. Proc. of 24th International Conference on Applications and Theory of Petri Nets (Petri Nets 2003). Lecture Notes in Computer Science 2679, pp. 450-462, Springer-Verlag Berlin, 2003.
5) W.M.P. van der Aalst and C. Stahl. Modelling Business Processes -- A Petri Net-Oriented Approach. The MIT Press, 2011.

-