Zaslat SMS: Разработка и анализ моделей бизнес-процессов с использованием аппарата цветных сетей Петри