О алгоритме перевода документов msc в сети Петри
Vernadsky National Library of Ukraine
Переглянути архів Інформація| Поле | Співвідношення | |
| Title |
О алгоритме перевода документов msc в сети Петри
|
|
| Creator |
Чугаенко, А.В.
Крывый, С.Л. |
|
| Subject |
Інструментальні засоби і середовища програмування
|
|
| Description |
Описывается алгоритм перевода документа MSC в трассово эквивалентную ему сеть Петри. Полученная таким образом сеть Петри может использоваться для анализа свойств системы, представленной исходным документом MSC. Алгоритм является частью инструментария для автоматического анализа и верификации документов MSC. 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. |
|
| Date |
2008-07-31T14:05:34Z
2008-07-31T14:05:34Z 2008 |
|
| Type |
Article
|
|
| Identifier |
О алгоритме перевода документов msc в сети Петри / А.В. Чугаенко, С.Л. Крывый // Пробл. програмув. — 2008. — N 2-3. — С. 587-594. — Бібліогр.: 6 назв. — рус.
1727-4907 http://dspace.nbuv.gov.ua/handle/123456789/1476 51.681.3 |
|
| Language |
ru
|
|
| Relation |
№2-3
С. 587-594 |
|
| Publisher |
Інститут програмних систем НАН України
|
|