Автоматизация преобразования раскрашенных сетей Петри с качественными фишками в раскрашенные сети Петри с количественными фишками

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

Повний опис

Збережено в:

Бібліографічні деталі
Дата:	2018
Автори:	Гломозда, Д.К., Глибовец, Н.Н., Максимец, А.Н.
Формат:	Стаття
Мова:	Russian
Опубліковано:	Інститут кібернетики ім. В.М. Глушкова НАН України 2018
Назва видання:	Кибернетика и системный анализ
Теми:	Програмно-технічні комплекси
Онлайн доступ:	http://dspace.nbuv.gov.ua/handle/123456789/161378
Теги:	Додати тег Немає тегів, Будьте першим, хто поставить тег для цього запису!
Назва журналу:	Digital Library of Periodicals of National Academy of Sciences of Ukraine
Цитувати:	Автоматизация преобразования раскрашенных сетей Петри с качественными фишками в раскрашенные сети Петри с количественными фишками / Д.К. Гломозда, Н.Н. Глибовец, А.Н. Максимец // Кибернетика и системный анализ. — 2018. — Т. 54, № 4. — С. 151–163. — Бібліогр.: 22 назв. — рос.

Репозитарії

Digital Library of Periodicals of National Academy of Sciences of Ukraine

id	irk-123456789-161378
record_format	dspace
spelling	irk-123456789-1613782019-12-08T01:26:05Z Автоматизация преобразования раскрашенных сетей Петри с качественными фишками в раскрашенные сети Петри с количественными фишками Гломозда, Д.К. Глибовец, Н.Н. Максимец, А.Н. Програмно-технічні комплекси Описан алгоритм преобразования цветной сети Петри с качественными фишками в раскрашенную сеть Петри с количественными фишками с сохранением ограниченности, взаимоисключаемости и живучести. Такое преобразование позволяет применить к раскрашенной сети Петри метод инвариантов, использующий алгоритм поиска усеченного множества решений уравнения состояния сети Петри, которое записывается в виде систем линейных однородных диофантовых уравнений. Работоспособность алгоритма продемонстрирована на примере цветной сети Петри, моделирующей работу грид-системы. Эквивалентность сетевых моделей проверена путем построения и анализа эквивалентных им конечных автоматов. Описано алгоритм перетворення кольорової мережі Петрі із якісними фішками на кольорову мережу Петрі із кількісними фішками зі збереженням обмеженості, взаємовиключності та живучості. Таке перетворення робить можливим застосування до кольорової мережі Петрі методу інваріантів, що використовує алгоритм пошуку зрізаної множини розв'язків рівняння стану мережі Петрі, яке записується у вигляді систем лінійних однорідних діофантових рівнянь. Працездатність алгоритму продемонстровано на прикладі кольорової мережі Петрі, яка моделює роботу грід-системи. Еквівалентність мережних моделей перевірено шляхом побудови та аналізу еквівалентних їм скінченних автоматів. The authors describe an algorithm for transformation of colored Petri nets with qualitative tokens into colored Petri net with quantitative tokens preserving boundedness, mutual exclusion, and liveness properties. This transformation allows an invariance method to be applied to colored Petri nets, which uses Truncated Set of Solutions finding algorithm for Petri net state equations expressed through systems of linear homogenous Diophantine equations. To show the algorithm’s efficiency, it is applied to the colored Petri net modeling the operation of a grid system. Equivalence of net models is tested by constructing and analyzing equal finite-state automata. 2018 Article Автоматизация преобразования раскрашенных сетей Петри с качественными фишками в раскрашенные сети Петри с количественными фишками / Д.К. Гломозда, Н.Н. Глибовец, А.Н. Максимец // Кибернетика и системный анализ. — 2018. — Т. 54, № 4. — С. 151–163. — Бібліогр.: 22 назв. — рос. 1019-5262 http://dspace.nbuv.gov.ua/handle/123456789/161378 004.75 ru Кибернетика и системный анализ Інститут кібернетики ім. В.М. Глушкова НАН України
institution	Digital Library of Periodicals of National Academy of Sciences of Ukraine
collection	DSpace DC
language	Russian
topic	Програмно-технічні комплекси Програмно-технічні комплекси
spellingShingle	Програмно-технічні комплекси Програмно-технічні комплекси Гломозда, Д.К. Глибовец, Н.Н. Максимец, А.Н. Автоматизация преобразования раскрашенных сетей Петри с качественными фишками в раскрашенные сети Петри с количественными фишками Кибернетика и системный анализ
description	Описан алгоритм преобразования цветной сети Петри с качественными фишками в раскрашенную сеть Петри с количественными фишками с сохранением ограниченности, взаимоисключаемости и живучести. Такое преобразование позволяет применить к раскрашенной сети Петри метод инвариантов, использующий алгоритм поиска усеченного множества решений уравнения состояния сети Петри, которое записывается в виде систем линейных однородных диофантовых уравнений. Работоспособность алгоритма продемонстрирована на примере цветной сети Петри, моделирующей работу грид-системы. Эквивалентность сетевых моделей проверена путем построения и анализа эквивалентных им конечных автоматов.
format	Article
author	Гломозда, Д.К. Глибовец, Н.Н. Максимец, А.Н.
author_facet	Гломозда, Д.К. Глибовец, Н.Н. Максимец, А.Н.
author_sort	Гломозда, Д.К.
title	Автоматизация преобразования раскрашенных сетей Петри с качественными фишками в раскрашенные сети Петри с количественными фишками
title_short	Автоматизация преобразования раскрашенных сетей Петри с качественными фишками в раскрашенные сети Петри с количественными фишками
title_full	Автоматизация преобразования раскрашенных сетей Петри с качественными фишками в раскрашенные сети Петри с количественными фишками
title_fullStr	Автоматизация преобразования раскрашенных сетей Петри с качественными фишками в раскрашенные сети Петри с количественными фишками
title_full_unstemmed	Автоматизация преобразования раскрашенных сетей Петри с качественными фишками в раскрашенные сети Петри с количественными фишками
title_sort	автоматизация преобразования раскрашенных сетей петри с качественными фишками в раскрашенные сети петри с количественными фишками
publisher	Інститут кібернетики ім. В.М. Глушкова НАН України
publishDate	2018
topic_facet	Програмно-технічні комплекси
url	http://dspace.nbuv.gov.ua/handle/123456789/161378
citation_txt	Автоматизация преобразования раскрашенных сетей Петри с качественными фишками в раскрашенные сети Петри с количественными фишками / Д.К. Гломозда, Н.Н. Глибовец, А.Н. Максимец // Кибернетика и системный анализ. — 2018. — Т. 54, № 4. — С. 151–163. — Бібліогр.: 22 назв. — рос.
series	Кибернетика и системный анализ
work_keys_str_mv	AT glomozdadk avtomatizaciâpreobrazovaniâraskrašennyhsetejpetriskačestvennymifiškamivraskrašennyesetipetriskoličestvennymifiškami AT glibovecnn avtomatizaciâpreobrazovaniâraskrašennyhsetejpetriskačestvennymifiškamivraskrašennyesetipetriskoličestvennymifiškami AT maksimecan avtomatizaciâpreobrazovaniâraskrašennyhsetejpetriskačestvennymifiškamivraskrašennyesetipetriskoličestvennymifiškami
first_indexed	2023-06-10T11:11:14Z
last_indexed	2023-06-10T11:11:14Z
_version_	1796154667429789696

Автоматизация преобразования раскрашенных сетей Петри с качественными фишками в раскрашенные сети Петри с количественными фишками

Репозитарії

Схожі ресурси