Формальное описание систем средствами Петри-объектных моделей

Скорочена інформація про документ
dc.contributor.authorСтеценко, И. В.
dc.date.accessioned2013-09-21T08:16:45Z
dc.date.available2013-09-21T08:16:45Z
dc.date.issued2011
dc.description.abstractenThe article considers the new formal methods for system's description based on object-oriented methodology and stochastic timed Petri net. The state equation of stochastic timed Petri net with conflict and multi-transitions is received. The concept of Petri-object is proposed and construction technology of simulation model with Petri-objects using is developed.uk
dc.description.abstractruВ статье рассматривается новый способ формального описания систем, основывающийся на объектно-ориентированной технологии и стохастической временной сети Петри. Получены уравнения состояний стохастической временной сети Петри с конфликтными и многоканальными переходами. Предложено понятие Петри-объекта и разработана технология конструирования имитационной модели системы с использованием Петри-объектов.uk
dc.format.pagerangeС. 74-81uk
dc.identifier.citationСтеценко И. В. Формальное описание систем средствами Петри-объектных моделей / И. В. Стеценко // Вісник НТУУ «КПІ». Інформатика, управління та обчислювальна техніка : збірник наукових праць. – 2011. – № 53. – С. 74–81. – Бібліогр.: 12 назв.uk
dc.identifier.urihttps://ela.kpi.ua/handle/123456789/3813
dc.language.isoruuk
dc.publisherВек+uk
dc.publisher.placeКиївuk
dc.sourceВісник НТУУ «КПІ». Інформатика, управління та обчислювальна техніка: збірник наукових працьuk
dc.source.nameВісник НТУУ «КПІ». Інформатика, управління та обчислювальна техніка: збірник наукових працьuk
dc.status.pubpublisheduk
dc.subject.udc519.876.5:004.94uk
dc.titleФормальное описание систем средствами Петри-объектных моделейuk
dc.typeArticleuk
thesis.degree.level-uk

Файли

Контейнер файлів
Зараз показуємо 1 - 1 з 1
Ескіз
Назва:
53_13.pdf
Розмір:
715.64 KB
Формат:
Adobe Portable Document Format
Завантажити
Ліцензійна угода
Зараз показуємо 1 - 1 з 1
Ескіз недоступний
Назва:
license.txt
Розмір:
1.71 KB
Формат:
Item-specific license agreed upon to submission
Опис:
Завантажити

Зібрання

Вісник НТУУ «КПІ». Інформатика, управління та обчислювальна техніка: збірник наукових праць, № 53