Io-7-wyk-Slajd77

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 >>