2025-02-23T16:08:33-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-23T16:08:33-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-23T16:08:33-05:00 DEBUG: VuFindSearch\Backend\Solr\Connector: <= 200 OK
2025-02-23T16:08:33-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!
|
| Summary: | Побудовано універсальну інгібіторну мережу Петрі, яка виконує довільну задану інгібіторну мережу Петрі. Граф інгібіторної мережі Петрі, її маркірування і послідовність спрацьовування переходів зашифровано як десять невід’ємних цілих скалярних змінних, поданих відповідними позиціями універсальної мережі. За рівнянням станів побудовано алгоритм виконання інгібіторної мережі, який використовує лише вказані скалярні змінні. Алгоритм закодовано інгібіторною мережею Петрі. Використано підмережі, які реалізують арифметичні і логічні операції, копіювання значень змінних. |
|---|