Наукова електронна бібліотека
періодичних видань НАН України

О алгоритме перевода документов msc в сети Петри

Репозиторій DSpace/Manakin

Показати простий запис статті

dc.contributor.author Чугаенко, А.В.
dc.contributor.author Крывый, С.Л.
dc.date.accessioned 2008-07-31T14:05:34Z
dc.date.available 2008-07-31T14:05:34Z
dc.date.issued 2008
dc.identifier.citation О алгоритме перевода документов msc в сети Петри / А.В. Чугаенко, С.Л. Крывый // Пробл. програмув. — 2008. — N 2-3. — С. 587-594. — Бібліогр.: 6 назв. — рус. en_US
dc.identifier.issn 1727-4907
dc.identifier.uri http://dspace.nbuv.gov.ua/handle/123456789/1476
dc.description.abstract Описывается алгоритм перевода документа MSC в трассово эквивалентную ему сеть Петри. Полученная таким образом сеть Петри может использоваться для анализа свойств системы, представленной исходным документом MSC. Алгоритм является частью инструментария для автоматического анализа и верификации документов MSC. en_US
dc.description.abstract The article describes the algorithm for translation MSC document to Petri Net, which is trace-equivalent to the original MSC. Petri Net, obtained by this algorithm, can be used for analysis of properties of the system, described by MSC document. Before mentioned algorithm is a part of the toolset for automatic verification and analysis of MSC documents. en_US
dc.language.iso ru en_US
dc.publisher Інститут програмних систем НАН України en_US
dc.relation.ispartofseries №2-3 en_US
dc.relation.ispartofseries С. 587-594 en_US
dc.subject Інструментальні засоби і середовища програмування en_US
dc.title О алгоритме перевода документов msc в сети Петри en_US
dc.title.alternative Algorithm for translation of MSC document to Petri Net en_US
dc.type Article en_US
dc.status published earlier en_US
dc.identifier.udc 51.681.3


Файли у цій статті

Icon
Name: №2-3_2008_Krivoy.pdf
Розмір: 192.4Кб
Формат: PDF
Перегляд/Відкрити

Ця стаття з'являється у наступних колекціях

Показати простий запис статті

Пошук


Розширений пошук

Перегляд

Мій обліковий запис