Preview

Моделирование и анализ информационных систем

Расширенный поиск

Свойства бисимуляции разметок в ограниченных сетях Петри

Полный текст:

Аннотация

Рассматривается проблема поиска бисимулярных разметок в ограниченных сетях Петри. Вводятся и исследуются специальные виды бисимз'ляции для случая ограниченных сетей, в том числе расширение бисимуляции достижимых разметок - отношение, учитывающее кроме достижимых разметок еще и все разметки, бисимулярные достижимым (среди которых могут быть и неограниченные). Доказана разрешимость расширения бисимуляции разметок. Вводится понятие элементарного расширения бисимуляции - конечного подмножества полного расширения, в которое входят только минимальные (относительно вложения) пары разметок. Доказана вычислимость элементарного расширения бисимуляции (предложен алгоритм его построения).

Об авторе

В. А. Башкин
Ярославский государственный университет
Россия


Список литературы

1. Котов В.Е. Сети Петри. М.: Наука. 1984.

2. Bashkin V.A. Applications of Marking Bisimulation for Adaptive Workflow Management // Proc. of CS&P’2005. Warsaw. 2005. P.41-49.

3. Jancar P. Decidability questions for bisimilarity of Petri nets and some related problems // Proc. of STACS’94. LNCS 775. 1994. P.581-592.

4. Jancar P., Moller F. Checking regular properties of Petri nets // Proc. of CONCUR’95. LNCS 962. 1995. P.348-362.

5. Milner R. A Calculus of Communicating Systems // LNCS 92. 1980


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


Башкин В.А. Свойства бисимуляции разметок в ограниченных сетях Петри. Моделирование и анализ информационных систем. 2006;13(1):35-40.

For citation:


. . Modeling and Analysis of Information Systems. 2006;13(1):35-40. (In Russ.)

Просмотров: 59


Creative Commons License
Контент доступен под лицензией Creative Commons Attribution 4.0 License.


ISSN 1818-1015 (Print)
ISSN 2313-5417 (Online)