Запис Детальніше

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

eKMAIR

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