Построение BPMN-модели процесса, поведенчески эквивалентной заданной каузальной сети

Разработка алгоритма построения BPMN-модели, симулирующей поведение заданной каузальной сети. Формальное описание алгоритма, доказательство его корректности на произвольной сети. Его реализация в процессно-ориентированной информационной системе ProM.

Подобные документы

Работы в архивах красиво оформлены согласно требованиям ВУЗов и содержат рисунки, диаграммы, формулы и т.д.
PPT, PPTX и PDF-файлы представлены только в архивах.
Рекомендуем скачать работу и оценить ее, кликнув по соответствующей звездочке.