Text this: Использование сетей Петри при проектировании систем обработки данных