Наши издания

Введение в анализ процессов

Васильев Н. В., Яшин А. И.

Рассмотрены вопросы формального описания и исполнения бизнес-процессов, приведен обзор методов проверки корректности на основе аппарата сетей Петри. Рассмотрены графовые и матричные методы анализа живости и ограниченности, а также теорема о бездефектности Аалста. Дается краткий обзор подходов к оценке параметров производительности процессов.

Предназначено для магистрантов при изучении дисциплин «Системы поддержки принятия решений», а также «Моделирование систем».

ISBN 978-5-7629-2703-1

УДК 004.94(07)

ББК З973.202я7 + У5-13ВБя7