|
Моделирование и анализ информационных систем, 2013, том 20, номер 4, страницы 23–40
(Mi mais319)
|
|
|
|
О разрешимости бездефектности для сетей потоков работ с неограниченным ресурсом
В. А. Башкинa, И. А. Ломазоваbc a Ярославский государственный университет им. П. Г. Демидова, 150000 Россия, г. Ярославль, ул. Советская, 14
b Национальный исследовательский университет “Высшая школа экономики”, 101000 Россия, г. Москва, ул. Мясницкая, д. 20
c Институт программных систем РАН,
152021 Россия, Ярославская обл., Переславский р-н, с. Веськово, ул. Петра I, д. 4 «а»
Аннотация:
Рассматривается моделирование схем потоков работ (workflow) при помощи сетей Петри.
Определяется класс сетей потоков работ с ресурсами (RWF-сетей) — обычных
workflow-сетей, в которых дополнительно добавлено множество ресурсных позиций,
содержащих какую-то начальную разметку (начальный ресурс).
Ресурсы могут уничтожаться и производиться при срабатываниях переходов.
Мы не накладываем ограничений ни на промежуточные, ни на финальные ресурсные разметки,
поэтому сеть может порождать бесконечное множество различных достижимых состояний.
RWF-сеть с данной начальной ресурсной разметкой называется бездефектной, если, во-первых,
она всегда корректно завершает свою работу, и, во-вторых, любое увеличение начального ресурса
не нарушает свойства корректного завершения.
Неразмеченная RWF-сеть бездефектна, если она бездефектна при некоторой начальной ресурсной разметке.
В данной работе доказана разрешимость обоих вариантов бездефектности для
важного подкласса RWF-сетей — сетей с одномерным ресурсом (одной ресурсной позицией).
Также представлен алгоритм вычисления наименьшего бездефектного ресурса.
Ключевые слова:
сети Петри, потоки работ, ресурс, бездефектность, верификация, моделирование.
Поступила в редакцию: 04.09.2013
Образец цитирования:
В. А. Башкин, И. А. Ломазова, “О разрешимости бездефектности для сетей потоков работ с неограниченным ресурсом”, Модел. и анализ информ. систем, 20:4 (2013), 23–40
Образцы ссылок на эту страницу:
https://www.mathnet.ru/rus/mais319 https://www.mathnet.ru/rus/mais/v20/i4/p23
|
Статистика просмотров: |
Страница аннотации: | 368 | PDF полного текста: | 192 | Список литературы: | 55 |
|