Інформаційна технологія аудиту складу на основі імітаційного моделювання

Abstract

Розглянуто інформаційну технологію автоматизації аудиторської перевірки складських приміщень підприємства на основі мережі Петрі. Особливу увагу звернено на властивості мережі Петрі, що є найважливішими для аудиторської перевірки складу: збереження та досяжність маркування. На прикладі моделі складу кондитерських виробів показано особливості використання основних методів аналізу мереж Петрі (дерево досяжності та математичне рівняння) у процесі аудиту складських приміщень.