Játékok modellezése hagyományos és színezett Petri hálókkal

A tétel rövid nézete
dc.contributor.advisorBattyányi, Péter
dc.contributor.authorSzabó, Benedek
dc.contributor.departmentDE--Informatikai Karhu_HU
dc.date.accessioned2021-04-23T07:20:27Z
dc.date.available2021-04-23T07:20:27Z
dc.date.created2021-04-22
dc.description.abstractSzoftverek 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.hu_HU
dc.description.courseprogramtervező informatikushu_HU
dc.description.degreeBSc/BAhu_HU
dc.format.extent32hu_HU
dc.identifier.urihttp://hdl.handle.net/2437/306983
dc.language.isohuhu_HU
dc.subjectPetri-hálóhu_HU
dc.subjectszínezett Petri-hálóhu_HU
dc.subjectmodell-ellenőrzéshu_HU
dc.subject.dspaceDEENK Témalista::Informatika::Számítógéptudományhu_HU
dc.titleJátékok modellezése hagyományos és színezett Petri hálókkalhu_HU
Fájlok
Gyűjtemények
Hallgatói dolgozatok (Informatikai Kar)