Универсальная сеть Петри
Побудовано універсальну інгібіторну мережу Петрі, яка виконує довільну задану інгібіторну мережу Петрі. Граф інгібіторної мережі Петрі, її маркірування і послідовність спрацьовування переходів зашифровано як десять невід’ємних цілих скалярних змінних, поданих відповідними позиціями універсальної мер...
Gespeichert in:
| Veröffentlicht in: | Кибернетика и системный анализ |
|---|---|
| Datum: | 2012 |
| 1. Verfasser: | |
| Format: | Artikel |
| Sprache: | Russisch |
| Veröffentlicht: |
Інститут кібернетики ім. В.М. Глушкова НАН України
2012
|
| Schlagworte: | |
| Online Zugang: | https://nasplib.isofts.kiev.ua/handle/123456789/84122 |
| 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: | Универсальная сеть Петри / Д.А. Зайцев // Кибернетика и системный анализ. — 2012. — Т. 48, № 4. — С. 24-39. — Бібліогр.: 10 назв. — рос. |
Institution
Digital Library of Periodicals of National Academy of Sciences of Ukraine| _version_ | 1862684787171393536 |
|---|---|
| author | Зайцев, Д.А. |
| author_facet | Зайцев, Д.А. |
| citation_txt | Универсальная сеть Петри / Д.А. Зайцев // Кибернетика и системный анализ. — 2012. — Т. 48, № 4. — С. 24-39. — Бібліогр.: 10 назв. — рос. |
| collection | DSpace DC |
| container_title | Кибернетика и системный анализ |
| description | Побудовано універсальну інгібіторну мережу Петрі, яка виконує довільну задану інгібіторну мережу Петрі. Граф інгібіторної мережі Петрі, її маркірування і послідовність спрацьовування переходів зашифровано як десять невід’ємних цілих скалярних змінних, поданих відповідними позиціями універсальної мережі. За рівнянням станів побудовано алгоритм виконання інгібіторної мережі, який використовує лише вказані скалярні змінні. Алгоритм закодовано інгібіторною мережею Петрі. Використано підмережі, які реалізують арифметичні і логічні операції, копіювання значень змінних.
A universal inhibitor Petri net is constructed, which executes an arbitrary given inhibitor Petri net. The inhibitor Petri net graph, its marking, and transition firing sequence are encoded as 10 scalar nonnegative integer variables and are represented by the corresponding places of the universal net. An algorithm of inhibitor net execution that uses only these scalar variables is developed based on the state equation and is encoded by the universal inhibitor Petri net. Subnets that implement arithmetic, comparison, and copying operations are employed.
|
| first_indexed | 2025-12-07T15:59:19Z |
| format | Article |
| fulltext | |
| id | nasplib_isofts_kiev_ua-123456789-84122 |
| institution | Digital Library of Periodicals of National Academy of Sciences of Ukraine |
| issn | 0023-1274 |
| language | Russian |
| last_indexed | 2025-12-07T15:59:19Z |
| publishDate | 2012 |
| publisher | Інститут кібернетики ім. В.М. Глушкова НАН України |
| record_format | dspace |
| spelling | Зайцев, Д.А. 2015-07-03T09:04:12Z 2015-07-03T09:04:12Z 2012 Универсальная сеть Петри / Д.А. Зайцев // Кибернетика и системный анализ. — 2012. — Т. 48, № 4. — С. 24-39. — Бібліогр.: 10 назв. — рос. 0023-1274 https://nasplib.isofts.kiev.ua/handle/123456789/84122 519.6, 510.51 Побудовано універсальну інгібіторну мережу Петрі, яка виконує довільну задану інгібіторну мережу Петрі. Граф інгібіторної мережі Петрі, її маркірування і послідовність спрацьовування переходів зашифровано як десять невід’ємних цілих скалярних змінних, поданих відповідними позиціями універсальної мережі. За рівнянням станів побудовано алгоритм виконання інгібіторної мережі, який використовує лише вказані скалярні змінні. Алгоритм закодовано інгібіторною мережею Петрі. Використано підмережі, які реалізують арифметичні і логічні операції, копіювання значень змінних. A universal inhibitor Petri net is constructed, which executes an arbitrary given inhibitor Petri net. The inhibitor Petri net graph, its marking, and transition firing sequence are encoded as 10 scalar nonnegative integer variables and are represented by the corresponding places of the universal net. An algorithm of inhibitor net execution that uses only these scalar variables is developed based on the state equation and is encoded by the universal inhibitor Petri net. Subnets that implement arithmetic, comparison, and copying operations are employed. ru Інститут кібернетики ім. В.М. Глушкова НАН України Кибернетика и системный анализ Кибернетика Универсальная сеть Петри Універсальна мережа Петрі Universal Petri net Article published earlier |
| spellingShingle | Универсальная сеть Петри Зайцев, Д.А. Кибернетика |
| title | Универсальная сеть Петри |
| title_alt | Універсальна мережа Петрі Universal Petri net |
| title_full | Универсальная сеть Петри |
| title_fullStr | Универсальная сеть Петри |
| title_full_unstemmed | Универсальная сеть Петри |
| title_short | Универсальная сеть Петри |
| title_sort | универсальная сеть петри |
| topic | Кибернетика |
| topic_facet | Кибернетика |
| url | https://nasplib.isofts.kiev.ua/handle/123456789/84122 |
| work_keys_str_mv | AT zaicevda universalʹnaâsetʹpetri AT zaicevda uníversalʹnamerežapetrí AT zaicevda universalpetrinet |