DSpace Repository

Színezett Petri-hálók szaturációs modellellenőrzése konjunktív dekompozíció alkalmazásával

Show simple item record

dc.contributor.editor Bitay, Enikő hu_HU
dc.creator Jámbor, Attila hu_HU
dc.date.accessioned 2012-03-22T09:12:58Z
dc.date.available 2012-03-22T09:12:58Z
dc.date.created 2012 hu_HU
dc.date.issued 2012 hu_HU
dc.identifier.issn 2081 - 6 808 hu_HU
dc.identifier.uri http://hdl.handle.net/10598/15542
dc.description.abstract A rendszertervezés során a szoftver- és hardverrendszerek helyességének ellenőrzése, azaz verifikációja egyre nagyobb szerepet kap. Korábbi munkáimban bemutattam, hogy az ún. szaturációs algoritmus használatával a verifikációhoz szükséges állapottér hatékonyan felderíthető és kompakt formában tárolható. Bár a rendelkezésre álló számítási kapacitás növekszik, összetett rendszerek ellenőrzése során felmerülnek olyan problémák, amelyekre az eddigi algoritmusok nem nyújtottak hatékony megoldást. Ilyen többek között, hogy bizonyos rendszerméret felett az egyszerű Petri-hálók már nem alkalmasak kompakt és szemléletes modellek készítésére. Munkám során kidolgoztam a színezett Petri-hálók szaturációs vizsgálatát, amely formalizmus segítségével a modellek kompaktabb, skálázható formában készíthetők el, így sok olyan probléma is modellezhető és vizsgálható segítségükkel, amelyekre az egyszerű Petri-hálók nem nyújtottak megfelelő megoldást. Nowadays, the verification of software and hardware systems is gaining an even more important role in system design. In my former work I have presented the so-called saturation algorithm to discover and store the state space efficiently. Although the amount of available computational resources is increasing, model checking of certain complex systems could not be efficiently accomplished with these methods so far. Such an important problem is that using Petri nets as a modeling language leads to huge and inexpressive models in many cases. My work mainly focuses on elaborating the saturation-based verification of coloured Petri nets. Using this new formalism the models can be constructed in a more compact and scalable way, therefore many new problems can be modeled and analyzed now. hu_HU
dc.description.tableofcontents 179-182 hu_HU
dc.format Adobe PDF hu_HU
dc.language.iso hun hu_HU
dc.language.iso eng hu_HU
dc.publisher Erdélyi Múzeum-Egyesület hu_HU
dc.relation.ispartofseries Fiatal Műszaki Tudományos Ülésszaka 17 hu_HU
dc.rights Erdélyi Múzeum-Egyesület hu_HU
dc.subject Petri-háló hu_HU
dc.subject modellellenőrzés hu_HU
dc.subject szaturáció hu_HU
dc.subject dekompozíció hu_HU
dc.subject Petri Net hu_HU
dc.subject model checking hu_HU
dc.subject saturation hu_HU
dc.subject decomposition hu_HU
dc.title Színezett Petri-hálók szaturációs modellellenőrzése konjunktív dekompozíció alkalmazásával hu_HU
dc.title.alternative Saturation based model checking of coloured Petri Nets using conjuntive decomposition hu_HU
dc.type Article hu_HU
dcterms.provenance Erdélyi Múzeum-Egyesület hu_HU
europeana.provider Erdélyi Múzeum-Egyesület hu_HU
europeana.unstored Erdélyi Múzeum-Egyesület hu_HU
europeana.type TEXT hu_HU
dcterms.medium paper hu_HU


Files in this item

This item appears in the following Collection(s)

Show simple item record

Search DSpace


Advanced Search

Browse

My Account