Формальний опис систем засобами Петрі-об’єктних моделей
Стеценко И.В.
У статті розглядається новий спосіб формального опису систем, що грунтується на об’єктно-орієнтованій технології та стохастичній часовій мережі Петрі. Отримано рівняння станів стохастичної тимчасової мережі Петрі з конфліктними і багатоканальними переходами. Запропоновано поняття Петрі-об’єкта та розроблено технологію конструювання імітаційної моделі системи з використанням Петрі-об’єктів.