Skip navigation
Please use this identifier to cite or link to this item: http://ela.kpi.ua/handle/123456789/3813
Full metadata record
DC FieldValueLanguage
dc.contributor.authorСтеценко, И. В.-
dc.date.accessioned2013-09-21T08:16:45Z-
dc.date.available2013-09-21T08:16:45Z-
dc.date.issued2011-
dc.identifier.citationСтеценко И. В. Формальное описание систем средствами Петри-объектных моделей / И. В. Стеценко // Вісник НТУУ «КПІ». Інформатика, управління та обчислювальна техніка : збірник наукових праць. – 2011. – № 53. – С. 74–81. – Бібліогр.: 12 назв.uk
dc.identifier.urihttp://ela.kpi.ua/handle/123456789/3813-
dc.language.isoruuk
dc.sourceВісник НТУУ «КПІ». Інформатика, управління та обчислювальна техніка: збірник наукових працьuk
dc.titleФормальное описание систем средствами Петри-объектных моделейuk
dc.typeArticleuk
thesis.degree.level-uk
dc.format.pagerangeС. 74-81uk
dc.status.pubpublisheduk
dc.publisher.placeКиївuk
dc.source.nameВісник НТУУ «КПІ». Інформатика, управління та обчислювальна техніка: збірник наукових працьuk
dc.subject.udc519.876.5:004.94uk
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.publisherВек+uk
Appears in Collections:Вісник НТУУ «КПІ». Інформатика, управління та обчислювальна техніка: збірник наукових праць, № 53

Files in This Item:
File Description SizeFormat 
53_13.pdf715.64 kBAdobe PDFThumbnail
View/Open
Show simple item record


Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.