MI és a rendszerépítés formális módszerei

Ahhoz, hogy az MI rendszereket vizsgálni tudjuk, ajánlott azokat jól kezelhető és megalapozott modellekkel ábrázolni. A diasorozat elsősorban ennek a modellezésnek a Petri hálós megvalósításáról szól, és az Óbudai Egyetem Neumann János Informatikai Karának Mérnök Informatikus mesterképzésen belül meghirdetett Formális Módszerek az informatikában tárgy oktatási segédlete.