Szoftverek tervezése során kiemelt szerep jut a különböző grafikus modellek készítésének. A rendszer struktúrájának és viselkedésének leírására szolgál a dolgozatban bemutatott grafikus modellezési nyelv, a Petri-háló. Továbbá bemutatásra kerül néhány népszerű kiterjesztés is, például a színezett változat. Az egyszerű jelöléseknek köszönhetően könnyen meg lehet tanulni használatukat. Alkalmasak párhuzamosság és konkurencia megjelenítésére a modellben. Ezek a hálók matematikai formalizmusuknak köszönhetően lehetővé teszik az elkészült modell verifikációját és szimulálását. Emiatt lehetőség adódik a váratlan hibák és nem kívánt viselkedések észrevételére már a tervezési szakaszban. A dolgozatban a központi szerep a játékok modellezéséé, a hálók erre való alkalmasságát példákon keresztül is illusztrálom.