ФОРМАЛИЗМ СЕТЕЙ ПЕТРИ С ТРАНЗАКТАМИ ДЛЯ МОДЕЛИРОВАНИЯ БИЗНЕС-ПРОЦЕССОВ
В данной статье представлено моделирование бизнес-процессов на основе сетей Петри с транзактами, описан формализм сетей Петри с транзактами в метод компонентных цепей: разработана модель «Сбыт» на примере цветочного магазина, представленная на трех слоях: объектном, логическом и визуальном для эффективности принятия управленческих решений.
Ключевые слова: бизнес-процессы, сети Петри, транзакты, моделирование бизнес-процессов, метод компонентных цепей (МКЦ), типы моделей бизнес-процессов, многоуровневая компьютерная модель