теория и приложения сетей Петри