О алгоритме перевода документов msc в сети Петри
| 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.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.identifier.citation | О алгоритме перевода документов msc в сети Петри / А.В. Чугаенко, С.Л. Крывый // Пробл. програмув. — 2008. — N 2-3. — С. 587-594. — Бібліогр.: 6 назв. — рус. | en_US |
| dc.identifier.issn | 1727-4907 | |
| dc.identifier.udc | 51.681.3 | |
| dc.identifier.uri | https://nasplib.isofts.kiev.ua/handle/123456789/1476 | |
| 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.status | published earlier | 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 |
Файли
Оригінальний контейнер
1 - 1 з 1
Завантаження...
- Назва:
- №2-3_2008_Krivoy.pdf
- Розмір:
- 192.46 KB
- Формат:
- Adobe Portable Document Format
Контейнер ліцензії
1 - 1 з 1
Завантаження...
- Назва:
- license.txt
- Розмір:
- 1.79 KB
- Формат:
- Item-specific license agreed upon to submission
- Опис: