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

dc.contributor.authorЛук’янова, Олена
dc.date.accessioned2012-12-18T09:37:25Z
dc.date.available2012-12-18T09:37:25Z
dc.date.issued2012
dc.descriptionIn 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.issn1996-5931
dc.identifier.urihttps://ekmair.ukma.edu.ua/handle/123456789/1909
dc.language.isoukuk_UA
dc.publisherВПЦ НаУКМАuk_UA
dc.relation.sourceНаукові записки НаУКМА. - 2012. - Т. 138 : Комп'ютерні науки. - С. 47-52.uk_UA
dc.statuspublished earlieruk_UA
dc.subjectмережа Петріuk_UA
dc.subjectкомпонентна мережа Петріuk_UA
dc.subjectскладові компонентиuk_UA
dc.subjectматриця інцидентностіuk_UA
dc.subjectTSS-алгоритмuk_UA
dc.subjectінваріантиuk_UA
dc.subjectверифікація моделіuk_UA
dc.subjectPetri netuk_UA
dc.subjectcomponental Petri netuk_UA
dc.subjectcomposite componentsuk_UA
dc.subjectmatrix incidenceuk_UA
dc.subjectinvariantsuk_UA
dc.subjectTSS-algorithmuk_UA
dc.subjectmodel verificationuk_UA
dc.titleПро компонентне моделювання систем із паралелізмомuk_UA
dc.typeArticleuk_UA
Files
Original bundle
Now showing 1 - 1 of 1
Loading...
Thumbnail Image
Name:
Lukianova_Pro_komponentne_modeliuvannia.pdf
Size:
638.77 KB
Format:
Adobe Portable Document Format
License bundle
Now showing 1 - 1 of 1
No Thumbnail Available
Name:
license.txt
Size:
7.95 KB
Format:
Item-specific license agreed upon to submission
Description: