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

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

Full description

Bibliographic Details
Format:	Article
Language:	English
Published:	Yaroslavl State University 2006-05-01
Series:	Modelirovanie i Analiz Informacionnyh Sistem
Online Access:	https://www.mais-journal.ru/jour/article/view/593

id	doaj-d33ca35c46584c44b3bbeb0ad301eab9
record_format	Article
spelling	doaj-d33ca35c46584c44b3bbeb0ad301eab92021-07-29T08:15:16ZengYaroslavl State UniversityModelirovanie i Analiz Informacionnyh Sistem1818-10152313-54172006-05-011313540435Свойства бисимуляции разметок в ограниченных сетях Петри0Ярославский государственный университетРассматривается проблема поиска бисимулярных разметок в ограниченных сетях Петри. Вводятся и исследуются специальные виды бисимз'ляции для случая ограниченных сетей, в том числе расширение бисимуляции достижимых разметок - отношение, учитывающее кроме достижимых разметок еще и все разметки, бисимулярные достижимым (среди которых могут быть и неограниченные). Доказана разрешимость расширения бисимуляции разметок. Вводится понятие элементарного расширения бисимуляции - конечного подмножества полного расширения, в которое входят только минимальные (относительно вложения) пары разметок. Доказана вычислимость элементарного расширения бисимуляции (предложен алгоритм его построения).https://www.mais-journal.ru/jour/article/view/593
collection	DOAJ
language	English
format	Article
sources	DOAJ
title	Свойства бисимуляции разметок в ограниченных сетях Петри
spellingShingle	Свойства бисимуляции разметок в ограниченных сетях Петри Modelirovanie i Analiz Informacionnyh Sistem
title_short	Свойства бисимуляции разметок в ограниченных сетях Петри
title_full	Свойства бисимуляции разметок в ограниченных сетях Петри
title_fullStr	Свойства бисимуляции разметок в ограниченных сетях Петри
title_full_unstemmed	Свойства бисимуляции разметок в ограниченных сетях Петри
title_sort	свойства бисимуляции разметок в ограниченных сетях петри
publisher	Yaroslavl State University
series	Modelirovanie i Analiz Informacionnyh Sistem
issn	1818-1015 2313-5417
publishDate	2006-05-01
description	Рассматривается проблема поиска бисимулярных разметок в ограниченных сетях Петри. Вводятся и исследуются специальные виды бисимз'ляции для случая ограниченных сетей, в том числе расширение бисимуляции достижимых разметок - отношение, учитывающее кроме достижимых разметок еще и все разметки, бисимулярные достижимым (среди которых могут быть и неограниченные). Доказана разрешимость расширения бисимуляции разметок. Вводится понятие элементарного расширения бисимуляции - конечного подмножества полного расширения, в которое входят только минимальные (относительно вложения) пары разметок. Доказана вычислимость элементарного расширения бисимуляции (предложен алгоритм его построения).
url	https://www.mais-journal.ru/jour/article/view/593
_version_	1721256621224493056

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

Similar Items