Io-7-wyk-Slajd77

Z Studia Informatyczne
Przejdź do nawigacjiPrzejdź do wyszukiwania

Plan wykładu

Plan wykładu


Specyfikacje aksjomatyczne i związane z nimi implementacje niestandardowe dotyczyły programów sekwencyjnych. Ale wiele systemów informatycznych ma charakter współbieżny. Do ich modelowania wykorzystuje się sieci Petriego, jedną z najbardziej popularnych koncepcji dotyczących matematycznych podstaw informatyki.


<< Poprzedni slajd | Spis treści | Następny slajd >>