eKMAIR

Про компонентне моделювання систем із паралелізмом

Show simple item record

dc.contributor.author Лук’янова, Олена
dc.date.accessioned 2012-12-18T09:37:25Z
dc.date.available 2012-12-18T09:37:25Z
dc.date.issued 2012
dc.identifier.citation Лук’янова О. О. Про компонентне моделювання систем із паралелізмом / Лук’янова О. О. // Наукові записки НаУКМА. - 2012. - Т. 138: Комп'ютерні науки. - С. 47-52. uk_UA
dc.identifier.issn 1996-5931
dc.identifier.uri http://ekmair.ukma.edu.ua/handle/123456789/1909
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.language.iso uk uk_UA
dc.publisher ВПЦ НаУКМА 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
dc.status published earlier uk_UA
dc.relation.source Наукові записки НаУКМА. - 2012. - Т. 138 : Комп'ютерні науки. - С. 47-52. uk_UA


Files in this item

This item appears in the following Collection(s)

Show simple item record

Search DSpace


Browse

My Account

Statistics