Diplomamunkám témája pufferelt, többlépcsős hálózatban a csomagforgalom számítógépes analízise, valamint a később ismertetésre kerülő rendszerjellemzők meghatározása. Több tudós jelentetett meg a szimulációnál gyorsabb, pufferelt többlépcsős hálózat teljesítményét meghatározó analitikus modelleket (ld. [1, 2, 3, 4, 5, 6, 7]). A vizsgált hálózatban kapcsolóelemek találhatóak, melyek feladata a hálózat bemeneti és kimeneti portjai között a csomagok irányítása. Ezt a csomagforgalmat szimulálták is, hogy össze tudják hasonlítani a szimulációs, valamint az analitikus modellek eredményeit. Ezekben a tanulmányokban viszont a csomagoknak csak unicast továbbítását vizsgálták, ellenben a multicast küldést nem. A csomagok többlépcsős hálózatokban történő multicast küldésének esetére is található egy analitikus modell [8]. Egy rendszerről készített analitikus modell helyességének ellenőrzése elvégezhető a modell által leírt hálózat működésének szimulálásával, ill. a működő rendszer jellemzőinek mérésével. Ezek segítségével véleményt lehet mondani a felhasznált modell minőségéről, hiszen ezek az adatok alá tudják támasztani az elméleti eredményeket. Munkámban a hálózat kapcsolóelemeinek, valamint az egész hálózat működésének leírása időzített Petri háló segítségével fog történni. Ezzel kapcsolatban összefoglalom a Petri háló legfontosabb formális jelöléseit, valamint hogy hogyan történik ezzel az eszközzel valamely rendszer működésének leírása. Különböző programcsomagok léteznek, melyek segítik a hálózatok működésének leírását, valamint a különböző rendszerjellemzők meghatározását. Ilyen programcsomag a MOSEL is, melyet a feladat megoldásához fogok használni. Ismertetem a MOSEL nyelv felépítését, szintaktikáját. Végezetül összehasonlítom az általam írt, a csomagok teljes broadcasting küldését elemző program eredményeit a parciális broadcasting küldés eredményeivel.