Применение компонентных сетей Петри в задачах верификации параллельных распределённых систем
В работе рассмотрены модели Крипке двух математических моделей параллельных распределённых систем, представленных детальной и её компонентной сетями Петри. Показана бисимулярность этих моделей Крипке. Установлены возможности проверки истинности логической формулы темпоральной логики, которой задаётс...
Gespeichert in:
| Veröffentlicht in: | Проблеми програмування |
|---|---|
| Datum: | 2014 |
| 1. Verfasser: | |
| Format: | Artikel |
| Sprache: | Russisch |
| Veröffentlicht: |
Інститут програмних систем НАН України
2014
|
| Schlagworte: | |
| Online Zugang: | https://nasplib.isofts.kiev.ua/handle/123456789/113219 |
| Tags: |
Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
|
| Назва журналу: | Digital Library of Periodicals of National Academy of Sciences of Ukraine |
| Zitieren: | Применение компонентных сетей Петри в задачах верификации параллельных распределённых систем / Е.А. Лукьянова // Проблеми програмування. — 2014. — № 2-3. — С. 93-98. — Бібліогр.: 19 назв. — рос. |
Institution
Digital Library of Periodicals of National Academy of Sciences of Ukraine| _version_ | 1862727110716555264 |
|---|---|
| author | Лукьянова, Е.А. |
| author_facet | Лукьянова, Е.А. |
| citation_txt | Применение компонентных сетей Петри в задачах верификации параллельных распределённых систем / Е.А. Лукьянова // Проблеми програмування. — 2014. — № 2-3. — С. 93-98. — Бібліогр.: 19 назв. — рос. |
| collection | DSpace DC |
| container_title | Проблеми програмування |
| description | В работе рассмотрены модели Крипке двух математических моделей параллельных распределённых систем, представленных детальной и её компонентной сетями Петри. Показана бисимулярность этих моделей Крипке. Установлены возможности проверки истинности логической формулы темпоральной логики, которой задаётся требуемое свойство исследуемой параллельной распределённой системы, с помощью редуцированной модели Крипке компонентной сети Петри.
The paper discusses the Kripke structures of two mathematical models of parallel distributed systems that are presented by Petri detailed net and its component net. Bisimularity of these Kripke structures is displayed. The possibility for checking the validity of the logical formula of temporal logic is established, which gives the desired property of investigated parallel distributed system, using reduced Kripke structure of component Petri net.
|
| first_indexed | 2025-12-07T19:01:22Z |
| format | Article |
| fulltext | |
| id | nasplib_isofts_kiev_ua-123456789-113219 |
| institution | Digital Library of Periodicals of National Academy of Sciences of Ukraine |
| issn | 1727-4907 |
| language | Russian |
| last_indexed | 2025-12-07T19:01:22Z |
| publishDate | 2014 |
| publisher | Інститут програмних систем НАН України |
| record_format | dspace |
| spelling | Лукьянова, Е.А. 2017-02-04T17:45:46Z 2017-02-04T17:45:46Z 2014 Применение компонентных сетей Петри в задачах верификации параллельных распределённых систем / Е.А. Лукьянова // Проблеми програмування. — 2014. — № 2-3. — С. 93-98. — Бібліогр.: 19 назв. — рос. 1727-4907 https://nasplib.isofts.kiev.ua/handle/123456789/113219 004.021: 004.312.4: 004.414.2 В работе рассмотрены модели Крипке двух математических моделей параллельных распределённых систем, представленных детальной и её компонентной сетями Петри. Показана бисимулярность этих моделей Крипке. Установлены возможности проверки истинности логической формулы темпоральной логики, которой задаётся требуемое свойство исследуемой параллельной распределённой системы, с помощью редуцированной модели Крипке компонентной сети Петри. The paper discusses the Kripke structures of two mathematical models of parallel distributed systems that are presented by Petri detailed net and its component net. Bisimularity of these Kripke structures is displayed. The possibility for checking the validity of the logical formula of temporal logic is established, which gives the desired property of investigated parallel distributed system, using reduced Kripke structure of component Petri net. ru Інститут програмних систем НАН України Проблеми програмування Паралельне програмування. Розподілені системи і мережі Применение компонентных сетей Петри в задачах верификации параллельных распределённых систем Application of Petri component nets in the checking task of parallel distributed systems Article published earlier |
| spellingShingle | Применение компонентных сетей Петри в задачах верификации параллельных распределённых систем Лукьянова, Е.А. Паралельне програмування. Розподілені системи і мережі |
| title | Применение компонентных сетей Петри в задачах верификации параллельных распределённых систем |
| title_alt | Application of Petri component nets in the checking task of parallel distributed systems |
| title_full | Применение компонентных сетей Петри в задачах верификации параллельных распределённых систем |
| title_fullStr | Применение компонентных сетей Петри в задачах верификации параллельных распределённых систем |
| title_full_unstemmed | Применение компонентных сетей Петри в задачах верификации параллельных распределённых систем |
| title_short | Применение компонентных сетей Петри в задачах верификации параллельных распределённых систем |
| title_sort | применение компонентных сетей петри в задачах верификации параллельных распределённых систем |
| topic | Паралельне програмування. Розподілені системи і мережі |
| topic_facet | Паралельне програмування. Розподілені системи і мережі |
| url | https://nasplib.isofts.kiev.ua/handle/123456789/113219 |
| work_keys_str_mv | AT lukʹânovaea primeneniekomponentnyhseteipetrivzadačahverifikaciiparallelʹnyhraspredelennyhsistem AT lukʹânovaea applicationofpetricomponentnetsinthecheckingtaskofparalleldistributedsystems |