Использование сетей Петри для описания WorkFlow процессовстатья