Тімофєєв, В. О.Гуца, О. М.Єльчанінов, Д. Б.2018-05-252018-05-252015Тімофєєв В. О. Інформаційна технологія аудиту складу на основі імітаційного моделювання / В. О. Тімофєєв, О. М. Гуца, Д. Б. Єльчанінов // Біоніка інтелекту: наук.-течх. журнал. - 2015. - №2 (85). - С. 109-112http://openarchive.nure.ua/handle/document/5447Розглянуто інформаційну технологію автоматизації аудиторської перевірки складських приміщень підприємства на основі мережі Петрі. Особливу увагу звернено на властивості мережі Петрі, що є найважливішими для аудиторської перевірки складу: збереження та досяжність маркування. На прикладі моделі складу кондитерських виробів показано особливості використання основних методів аналізу мереж Петрі (дерево досяжності та математичне рівняння) у процесі аудиту складських приміщень.ukiнформаційна технологіяаудитcкладімітаційне моделюваннямережі ПетріArticle