Goldfish: веб-редактор сетей Петри для совместной работы с синхронизацией в режиме реального времени

Goldfish: веб-редактор сетей Петри для совместной работы с синхронизацией в режиме реального времени

Кабаков В.А. (НИУ ВШЭ, Москва, Россия)
Мицюк А.А. (НИУ ВШЭ, Москва, Россия)

Аннотация

Сети Петри – формализм для моделирования параллельных и распределённых систем. Существующие редакторы сетей Петри – преимущественно приложения для настольных компьютеров без поддержки совместного редактирования. В данной статье представлен редактор «Золотая рыбка» (Goldfish) – веб-платформа для совместного редактирования, моделирования и анализа сетей Петри в реальном времени. Ключевой результат работы – адаптация методов операционных преобразований (ОП) для использования с графовыми структурами сетей Петри. Определена предметно-ориентированная модель операций, включающая 9 типов примитивных операций. Сформулированы правила преобразований, которые сохраняют инварианты двудольного графа и обрабатывают каскадные структурные зависимости. ОП комбинируются с выборочной блокировкой элементов для семантически критических операций. Разработанный гибридный механизм синхронизации способен разрешить большинство конфликтов редактирования с помощью ОП в типичных сценариях использования, когда параллельные операции направлены на непересекающиеся элементы модели. К блокировкам требуется прибегать только для операций с каскадными эффектами (например, удаление элемента). Платформа Goldfish интегрирует также стандартные возможности анализа сетей Петри – построение графа достижимости, проверку ограниченности и интерактивное моделирование – в совместную среду через асинхронную модель выполнения, которая не блокирует параллельные сеансы редактирования. Анализ сложности предложенных алгоритмов показывает, что все затраты на синхронизацию на одну операцию являются константными или линейными по отношению к малым параметрам независимо от размера модели, что обеспечивает масштабируемость по числу одновременно работающих редакторов.

Ключевые слова

сети Петри; совместное редактирование; синхронизация в реальном времени; операционные преобразования; разрешение конфликтов; веб-моделирование; визуализация моделей процессов.

Издание

Труды Института системного программирования РАН, том 38, вып. 6, часть 2, 2026, стр. 117-132.

ISSN 2220-6426 (Online), ISSN 2079-8156 (Print).

DOI: 10.15514/ISPRAS-2026-38(6)-28

Для цитирования

Кабаков В.А., Мицюк А.А. Goldfish: веб-редактор сетей Петри для совместной работы с синхронизацией в режиме реального времени. Труды Института системного программирования РАН, том 38, вып. 6, часть 2, 2026, стр. 117-132. DOI: 10.15514/ISPRAS-2026-38(6)-28.

Полный текст статьи в формате pdf (на английском) Вернуться к содержанию тома