Про компонентне моделювання систем із паралелізмом
eKMAIR
Переглянути архів Інформація| Поле | Співвідношення | |
| Creator |
Лук’янова, Олена
|
|
| Date |
2012-12-18T09:37:25Z
2012-12-18T09:37:25Z 2012 |
|
| Identifier |
Лук’янова О. О. Про компонентне моделювання систем із паралелізмом / Лук’янова О. О. // Наукові записки НаУКМА. - 2012. - Т. 138: Комп'ютерні науки. - С. 47-52.
1996-5931 http://www.ekmair.ukma.kiev.ua/handle/123456789/1909 |
|
| 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. Розглянуто компонентну мережу Петрі і запропоновано відповідну технологію компонентного моделювання та верифікації систем із паралелізмом. При цьому не виникає проблема адекватності побудованої моделі та початкової системи. Отримана модель враховує всі властивості системи і не породжує нових. Перевірку властивостей моделі здійснено методами аналізу властивостей ме- реж Петрі. Запропоновану технологію проілюстровано на прикладі моделювання задачі про п’ятьох філософів. |
|
| Language |
ua
|
|
| Publisher |
ВПЦ НаУКМА
|
|
| Subject |
мережа Петрі
компонентна мережа Петрі складові компоненти матриця інцидентності TSS-алгоритм інваріанти верифікація моделі Petri net componental Petri net composite components matrix incidence invariants TSS-algorithm model verification |
|
| Title |
Про компонентне моделювання систем із паралелізмом
|
|
| Type |
Article
|
|
| Relation |
Наукові записки НаУКМА. - 2012. - Т. 138 : Комп'ютерні науки. - С. 47-52.
|
|