Сети Петри с транзактами для моделирования бизнес-процессовстатья