PAPP GYÖRGY:
Petri-gráfok alkalmazása véges automaták és protokollok modellezésére
A protokollok implementálása, verifikálása és tesztelése során szükséges egy könnyen programozható, és modulárisan bővíthető matematikai modell alkalmazása. A protokollok leírására használt jelenlegi matematikai modellek nem rendelkeznek ezekkel a tulajdonságokkal. A nemzetközi szabványok például a protokollokat véges automatákkal definiálják. A cikk meg kívánja mutatni, hogyan transzformálható a véges automata modell a Petri-gráfos modellre, ami a fenti tulajdonságai miatt a protokollok egyik legalkalmasabb leíró modellje. Segítségével ugyanis egyszerűen valósítható meg a különböző protokoll funkciók kompozíciója.