2025-02-23T15:54:32-05:00 DEBUG: VuFindSearch\Backend\Solr\Connector: Query fl=%2A&wt=json&json.nl=arrarr&q=id%3A%22irk-123456789-84122%22&qt=morelikethis&rows=5
2025-02-23T15:54:32-05:00 DEBUG: VuFindSearch\Backend\Solr\Connector: => GET http://localhost:8983/solr/biblio/select?fl=%2A&wt=json&json.nl=arrarr&q=id%3A%22irk-123456789-84122%22&qt=morelikethis&rows=5
2025-02-23T15:54:32-05:00 DEBUG: VuFindSearch\Backend\Solr\Connector: <= 200 OK
2025-02-23T15:54:32-05:00 DEBUG: Deserialized SOLR response
Универсальная сеть Петри
Побудовано універсальну інгібіторну мережу Петрі, яка виконує довільну задану інгібіторну мережу Петрі. Граф інгібіторної мережі Петрі, її маркірування і послідовність спрацьовування переходів зашифровано як десять невід’ємних цілих скалярних змінних, поданих відповідними позиціями універсальної мер...
Saved in:
| Main Author: | |
|---|---|
| Format: | Article |
| Language: | Russian |
| Published: |
Інститут кібернетики ім. В.М. Глушкова НАН України
2012
|
| Series: | Кибернетика и системный анализ |
| Subjects: | |
| Online Access: | http://dspace.nbuv.gov.ua/handle/123456789/84122 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| id |
irk-123456789-84122 |
|---|---|
| record_format |
dspace |
| spelling |
irk-123456789-841222015-07-04T03:01:24Z Универсальная сеть Петри Зайцев, Д.А. Кибернетика Побудовано універсальну інгібіторну мережу Петрі, яка виконує довільну задану інгібіторну мережу Петрі. Граф інгібіторної мережі Петрі, її маркірування і послідовність спрацьовування переходів зашифровано як десять невід’ємних цілих скалярних змінних, поданих відповідними позиціями універсальної мережі. За рівнянням станів побудовано алгоритм виконання інгібіторної мережі, який використовує лише вказані скалярні змінні. Алгоритм закодовано інгібіторною мережею Петрі. Використано підмережі, які реалізують арифметичні і логічні операції, копіювання значень змінних. 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. 2012 Article Универсальная сеть Петри / Д.А. Зайцев // Кибернетика и системный анализ. — 2012. — Т. 48, № 4. — С. 24-39. — Бібліогр.: 10 назв. — рос. 0023-1274 http://dspace.nbuv.gov.ua/handle/123456789/84122 519.6, 510.51 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 |
2012 |
| topic_facet |
Кибернетика |
| url |
http://dspace.nbuv.gov.ua/handle/123456789/84122 |
| citation_txt |
Универсальная сеть Петри / Д.А. Зайцев // Кибернетика и системный анализ. — 2012. — Т. 48, № 4. — С. 24-39. — Бібліогр.: 10 назв. — рос. |
| series |
Кибернетика и системный анализ |
| work_keys_str_mv |
AT zajcevda universalʹnaâsetʹpetri |
| first_indexed |
2023-10-18T19:28:15Z |
| last_indexed |
2023-10-18T19:28:15Z |
| _version_ |
1796147046366838784 |