Некоторые Вопросы Моделирования Задач Синхронизации с Помощью Сетей Петристатья