Про компонентне моделювання систем із паралелізмом
dc.contributor.author | Лук’янова, Олена | |
dc.date.accessioned | 2012-12-18T09:37:25Z | |
dc.date.available | 2012-12-18T09:37:25Z | |
dc.date.issued | 2012 | |
dc.description | In work the componental network of Petri is entered into consideration and the corresponding technology of componental modelling and verification of systems with parallelism is offered. Thus there is no problem of adequacy of model of initial system. The model considers properties of system and does not generate the new. Check of properties is carried out in terms of Petrinets. The offered technology is illustrated on an example of modelling of a problem about five philosophers. | uk_UA |
dc.description.abstract | Розглянуто компонентну мережу Петрі і запропоновано відповідну технологію компонентного моделювання та верифікації систем із паралелізмом. При цьому не виникає проблема адекватності побудованої моделі та початкової системи. Отримана модель враховує всі властивості системи і не породжує нових. Перевірку властивостей моделі здійснено методами аналізу властивостей ме- реж Петрі. Запропоновану технологію проілюстровано на прикладі моделювання задачі про п’ятьох філософів. | uk_UA |
dc.identifier.citation | Лук’янова О. О. Про компонентне моделювання систем із паралелізмом / Лук’янова О. О. // Наукові записки НаУКМА. - 2012. - Т. 138: Комп'ютерні науки. - С. 47-52. | uk_UA |
dc.identifier.issn | 1996-5931 | |
dc.identifier.uri | https://ekmair.ukma.edu.ua/handle/123456789/1909 | |
dc.language.iso | uk | uk_UA |
dc.publisher | ВПЦ НаУКМА | uk_UA |
dc.relation.source | Наукові записки НаУКМА. - 2012. - Т. 138 : Комп'ютерні науки. - С. 47-52. | uk_UA |
dc.status | published earlier | uk_UA |
dc.subject | мережа Петрі | uk_UA |
dc.subject | компонентна мережа Петрі | uk_UA |
dc.subject | складові компоненти | uk_UA |
dc.subject | матриця інцидентності | uk_UA |
dc.subject | TSS-алгоритм | uk_UA |
dc.subject | інваріанти | uk_UA |
dc.subject | верифікація моделі | uk_UA |
dc.subject | Petri net | uk_UA |
dc.subject | componental Petri net | uk_UA |
dc.subject | composite components | uk_UA |
dc.subject | matrix incidence | uk_UA |
dc.subject | invariants | uk_UA |
dc.subject | TSS-algorithm | uk_UA |
dc.subject | model verification | uk_UA |
dc.title | Про компонентне моделювання систем із паралелізмом | uk_UA |
dc.type | Article | uk_UA |