Про компонентне моделювання систем із паралелізмом
Loading...
Date
2012
Authors
Лук’янова, Олена
Journal Title
Journal ISSN
Volume Title
Publisher
ВПЦ НаУКМА
Abstract
Розглянуто компонентну мережу Петрі і запропоновано відповідну технологію компонентного моделювання та верифікації систем із паралелізмом. При цьому не виникає проблема адекватності побудованої моделі та початкової системи. Отримана модель враховує всі властивості системи і не породжує нових. Перевірку властивостей моделі здійснено методами аналізу властивостей ме-
реж Петрі. Запропоновану технологію проілюстровано на прикладі моделювання задачі про п’ятьох філософів.
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.
Keywords
мережа Петрі, компонентна мережа Петрі, складові компоненти, матриця інцидентності, TSS-алгоритм, інваріанти, верифікація моделі, Petri net, componental Petri net, composite components, matrix incidence, invariants, TSS-algorithm, model verification
Citation
Лук’янова О. О. Про компонентне моделювання систем із паралелізмом / Лук’янова О. О. // Наукові записки НаУКМА. - 2012. - Т. 138: Комп'ютерні науки. - С. 47-52.