Автоматизация преобразования раскрашенных сетей Петри с качественными фишками в раскрашенные сети Петри с количественными фишками
Описан алгоритм преобразования цветной сети Петри с качественными фишками в раскрашенную сеть Петри с количественными фишками с сохранением ограниченности, взаимоисключаемости и живучести. Такое преобразование позволяет применить к раскрашенной сети Петри метод инвариантов, использующий алгоритм пои...
Saved in:
| Published in: | Кибернетика и системный анализ |
|---|---|
| Date: | 2018 |
| Main Authors: | , , |
| Format: | Article |
| Language: | Russian |
| Published: |
Інститут кібернетики ім. В.М. Глушкова НАН України
2018
|
| Subjects: | |
| Online Access: | https://nasplib.isofts.kiev.ua/handle/123456789/161378 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| Journal Title: | Digital Library of Periodicals of National Academy of Sciences of Ukraine |
| Cite this: | Автоматизация преобразования раскрашенных сетей Петри с качественными фишками в раскрашенные сети Петри с количественными фишками / Д.К. Гломозда, Н.Н. Глибовец, А.Н. Максимец // Кибернетика и системный анализ. — 2018. — Т. 54, № 4. — С. 151–163. — Бібліогр.: 22 назв. — рос. |
Institution
Digital Library of Periodicals of National Academy of Sciences of Ukraine| _version_ | 1862714851056418816 |
|---|---|
| author | Гломозда, Д.К. Глибовец, Н.Н. Максимец, А.Н. |
| author_facet | Гломозда, Д.К. Глибовец, Н.Н. Максимец, А.Н. |
| citation_txt | Автоматизация преобразования раскрашенных сетей Петри с качественными фишками в раскрашенные сети Петри с количественными фишками / Д.К. Гломозда, Н.Н. Глибовец, А.Н. Максимец // Кибернетика и системный анализ. — 2018. — Т. 54, № 4. — С. 151–163. — Бібліогр.: 22 назв. — рос. |
| collection | DSpace DC |
| container_title | Кибернетика и системный анализ |
| description | Описан алгоритм преобразования цветной сети Петри с качественными фишками в раскрашенную сеть Петри с количественными фишками с сохранением ограниченности, взаимоисключаемости и живучести. Такое преобразование позволяет применить к раскрашенной сети Петри метод инвариантов, использующий алгоритм поиска усеченного множества решений уравнения состояния сети Петри, которое записывается в виде систем линейных однородных диофантовых уравнений. Работоспособность алгоритма продемонстрирована на примере цветной сети Петри, моделирующей работу грид-системы. Эквивалентность сетевых моделей проверена путем построения и анализа эквивалентных им конечных автоматов.
Описано алгоритм перетворення кольорової мережі Петрі із якісними фішками на кольорову мережу Петрі із кількісними фішками зі збереженням обмеженості, взаємовиключності та живучості. Таке перетворення робить можливим застосування до кольорової мережі Петрі методу інваріантів, що використовує алгоритм пошуку зрізаної множини розв'язків рівняння стану мережі Петрі, яке записується у вигляді систем лінійних однорідних діофантових рівнянь. Працездатність алгоритму продемонстровано на прикладі кольорової мережі Петрі, яка моделює роботу грід-системи. Еквівалентність мережних моделей перевірено шляхом побудови та аналізу еквівалентних їм скінченних автоматів.
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.
|
| first_indexed | 2025-12-07T17:54:00Z |
| format | Article |
| fulltext | |
| id | nasplib_isofts_kiev_ua-123456789-161378 |
| institution | Digital Library of Periodicals of National Academy of Sciences of Ukraine |
| issn | 1019-5262 |
| language | Russian |
| last_indexed | 2025-12-07T17:54:00Z |
| publishDate | 2018 |
| publisher | Інститут кібернетики ім. В.М. Глушкова НАН України |
| record_format | dspace |
| spelling | Гломозда, Д.К. Глибовец, Н.Н. Максимец, А.Н. 2019-12-07T16:17:25Z 2019-12-07T16:17:25Z 2018 Автоматизация преобразования раскрашенных сетей Петри с качественными фишками в раскрашенные сети Петри с количественными фишками / Д.К. Гломозда, Н.Н. Глибовец, А.Н. Максимец // Кибернетика и системный анализ. — 2018. — Т. 54, № 4. — С. 151–163. — Бібліогр.: 22 назв. — рос. 1019-5262 https://nasplib.isofts.kiev.ua/handle/123456789/161378 004.75 Описан алгоритм преобразования цветной сети Петри с качественными фишками в раскрашенную сеть Петри с количественными фишками с сохранением ограниченности, взаимоисключаемости и живучести. Такое преобразование позволяет применить к раскрашенной сети Петри метод инвариантов, использующий алгоритм поиска усеченного множества решений уравнения состояния сети Петри, которое записывается в виде систем линейных однородных диофантовых уравнений. Работоспособность алгоритма продемонстрирована на примере цветной сети Петри, моделирующей работу грид-системы. Эквивалентность сетевых моделей проверена путем построения и анализа эквивалентных им конечных автоматов. Описано алгоритм перетворення кольорової мережі Петрі із якісними фішками на кольорову мережу Петрі із кількісними фішками зі збереженням обмеженості, взаємовиключності та живучості. Таке перетворення робить можливим застосування до кольорової мережі Петрі методу інваріантів, що використовує алгоритм пошуку зрізаної множини розв'язків рівняння стану мережі Петрі, яке записується у вигляді систем лінійних однорідних діофантових рівнянь. Працездатність алгоритму продемонстровано на прикладі кольорової мережі Петрі, яка моделює роботу грід-системи. Еквівалентність мережних моделей перевірено шляхом побудови та аналізу еквівалентних їм скінченних автоматів. 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. ru Інститут кібернетики ім. В.М. Глушкова НАН України Кибернетика и системный анализ Програмно-технічні комплекси Автоматизация преобразования раскрашенных сетей Петри с качественными фишками в раскрашенные сети Петри с количественными фишками Автоматизація перетворення кольорових мереж петрі з якісними фішками на кольорові мережі петрі з кількісними фішками Automating the transformation of colored petri nets with qualitative tokens into colored petri nets with quantitative tokens / Article published earlier |
| spellingShingle | Автоматизация преобразования раскрашенных сетей Петри с качественными фишками в раскрашенные сети Петри с количественными фишками Гломозда, Д.К. Глибовец, Н.Н. Максимец, А.Н. Програмно-технічні комплекси |
| title | Автоматизация преобразования раскрашенных сетей Петри с качественными фишками в раскрашенные сети Петри с количественными фишками |
| title_alt | Автоматизація перетворення кольорових мереж петрі з якісними фішками на кольорові мережі петрі з кількісними фішками Automating the transformation of colored petri nets with qualitative tokens into colored petri nets with quantitative tokens / |
| title_full | Автоматизация преобразования раскрашенных сетей Петри с качественными фишками в раскрашенные сети Петри с количественными фишками |
| title_fullStr | Автоматизация преобразования раскрашенных сетей Петри с качественными фишками в раскрашенные сети Петри с количественными фишками |
| title_full_unstemmed | Автоматизация преобразования раскрашенных сетей Петри с качественными фишками в раскрашенные сети Петри с количественными фишками |
| title_short | Автоматизация преобразования раскрашенных сетей Петри с качественными фишками в раскрашенные сети Петри с количественными фишками |
| title_sort | автоматизация преобразования раскрашенных сетей петри с качественными фишками в раскрашенные сети петри с количественными фишками |
| topic | Програмно-технічні комплекси |
| topic_facet | Програмно-технічні комплекси |
| url | https://nasplib.isofts.kiev.ua/handle/123456789/161378 |
| work_keys_str_mv | AT glomozdadk avtomatizaciâpreobrazovaniâraskrašennyhseteipetriskačestvennymifiškamivraskrašennyesetipetriskoličestvennymifiškami AT glibovecnn avtomatizaciâpreobrazovaniâraskrašennyhseteipetriskačestvennymifiškamivraskrašennyesetipetriskoličestvennymifiškami AT maksimecan avtomatizaciâpreobrazovaniâraskrašennyhseteipetriskačestvennymifiškamivraskrašennyesetipetriskoličestvennymifiškami AT glomozdadk avtomatizacíâperetvorennâkolʹorovihmerežpetrízâkísnimifíškaminakolʹorovímerežípetrízkílʹkísnimifíškami AT glibovecnn avtomatizacíâperetvorennâkolʹorovihmerežpetrízâkísnimifíškaminakolʹorovímerežípetrízkílʹkísnimifíškami AT maksimecan avtomatizacíâperetvorennâkolʹorovihmerežpetrízâkísnimifíškaminakolʹorovímerežípetrízkílʹkísnimifíškami AT glomozdadk automatingthetransformationofcoloredpetrinetswithqualitativetokensintocoloredpetrinetswithquantitativetokens AT glibovecnn automatingthetransformationofcoloredpetrinetswithqualitativetokensintocoloredpetrinetswithquantitativetokens AT maksimecan automatingthetransformationofcoloredpetrinetswithqualitativetokensintocoloredpetrinetswithquantitativetokens |