Метою атестаційної роботи є аналіз моделей представлення елементів систем масового обслуговування з використанням мереж Петрі. У роботі запропоновано механізм побудови мереж Петрі для основних об'єктів обчислювальних систем, формалізовані функції мережевих об'єктів у вигляді примітивних функціоналів з використанням мереж Петрі. Запропоновані операції над мережами Петрі, що дозволяють легко конструювати модель обчислювальної системи. Для демонстрації побудованої моделі, наведено приклад побудови мережі Петрі для фрагмента локальної мережі, розглянуті питання маршрутизації в імітаційній моделі, запропонований узагальнений алгоритм роботи імітаційної моделі.