[DUS | Prednáška] 6 - Využitie PS v praxi 2

Zhrnutie prednášky

Prednáška nadväzuje na predchádzajúce stretnutie a pokračuje v rozpracovaní rozšírenia Petriho sietí nazvaného Petriflow, ktoré slúži na modelovanie a tvorbu informačných systémov pomocou úloh s vlastným životným cyklom namiesto jednoduchých udalostí. Vysvetľuje sa, že stav siete v tomto rozšírení nezachytáva iba počet značiek v miestach, ale aj informáciu o tom, či je konkrétny prechod spustený, čo sa graficky znázorňuje farebným rozlíšením prechodov (zelená – spustiteľný, červená – nespustiteľný, iná farba – prebiehajúci). K Petriho sieti sa priraďujú aj dátové premenné, ktoré sa následne mapujú na jednotlivé úlohy ako podmnožina premenných celej siete. Prednášajúci pred samotným výkladom venuje značný priestor historickému exkurzu o vzniku Petriho sietí, ich autorovi Carlovi Adamovi Petrimu a osobným spomienkam na stretnutia s významnými osobnosťami informatiky (Robin Milner, Donald Knuth a ďalší) počas svojho pôsobenia v Nemecku a Dánsku.

• - Nadväzuje sa na predchádzajúcu prednášku o rozšírení Petriho sietí – Petriflow.
• - Prechody v Petriflow majú vlastný priebeh (začiatok, spustenie, koniec) namiesto okamžitej udalosti.
• - Stav siete zahŕňa okrem značkovania aj informáciu o stave (spustený/nespustený) každého prechodu.
• - Graficky sa stav prechodov znázorňuje farbami (zelená, červená, prebiehajúci).
• - Dátové premenné sa priraďujú k celej sieti aj k jednotlivým úlohám ako ich podmnožina.
• - Historický exkurz o vzniku Petriho sietí a osobe Carla Adama Petriho.
• - Osobné spomienky prednášajúceho na pôsobenie v Nemecku a Dánsku a stretnutia s poprednými osobnosťami informatiky.

Zhrnutie pripravené s pomocou AI z prepisu videa.