Лук’янова, Олена2012-12-182012-12-182012Лук’янова О. О. Про компонентне моделювання систем із паралелізмом / Лук’янова О. О. // Наукові записки НаУКМА. - 2012. - Т. 138: Комп'ютерні науки. - С. 47-52.1996-5931https://ekmair.ukma.edu.ua/handle/123456789/1909In 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мережа Петрікомпонентна мережа Петріскладові компонентиматриця інцидентностіTSS-алгоритмінваріантиверифікація моделіPetri netcomponental Petri netcomposite componentsmatrix incidenceinvariantsTSS-algorithmmodel verificationArticle