Застосування методу інваріантів до аналізу кольорових мереж Петрі із дедлоками
eKMAIR
Переглянути архів Інформація| Поле | Співвідношення | |
| Title |
Застосування методу інваріантів до аналізу кольорових мереж Петрі із дедлоками
|
|
| Creator |
Гломозда, Дмитро
|
|
| Subject |
кольорові мережі Петрі
S-інваріанти T-інваріанти діофантові рівняння багатопоточність |
|
| Description |
Application of invariants method, which uses Truncated Set of Solutions finding algorithm for Petri net state equations expressed through systems of linear homogenous Diophantine equations to analysis of col-ored Petri nets containing deadlocks is described in the article based on the models of multithreading in Java according to producers-consumers patter using wait()/notify() methods combination is covered.
В роботі описано застосування методу інваріантів, що використовує алгоритм пошуку зрізаної множини розв’язків рівняння стану мережі Петрі, яке записується у вигляді систем лінійних однорід-них діофантових рівнянь, до аналізу кольорових мереж Петрі, які містять дедлоки, на прикладі моделі функціонування багатопоточності в мові програмування Java за шаблоном «виробники/споживачі» з використанням комбінації методів wait()/notify(). |
|
| Date |
2017-01-24T13:45:22Z
2017-01-24T13:45:22Z 2016 |
|
| Type |
Article
|
|
| Identifier |
Гломозда Дмитро Костянтинович. Застосування методу інваріантів до аналізу кольорових мереж Петрі із дедлоками / Д. К. Гломозда // Вісник Національного технічного університету України "Київський політехнічний інститут". Серія "Інформатика, управління та обчислювальна техніка" : збірник наукових праць. - Київ : Век+, 2016. - № 64. - С. 38-46.
http://ekmair.ukma.edu.ua/handle/123456789/10870 |
|
| Language |
ua
|
|
| Relation |
Вісник Національного технічного університету України "Київський політехнічний інститут". Серія "Інформатика, управління та обчислювальна техніка" : збірник наукових праць
|
|