Наукова електронна бібліотека
періодичних видань НАН України
періодичних видань НАН України
Исследование свойств документов MSC с помощью преобразования их в сети Петри
Репозиторій DSpace/Manakin
JavaScript is disabled for your browser. Some features of this site may not work without it.
| dc.contributor.author | Крывый, С.Л. | |
| dc.contributor.author | Чугаенко, А.В. | |
| dc.contributor.author | Матвеева, Л.Е. | |
| dc.date.accessioned | 2013-06-02T09:46:43Z | |
| dc.date.available | 2013-06-02T09:46:43Z | |
| dc.date.issued | 2009 | |
| dc.identifier.citation | Исследование свойств документов MSC с помощью преобразования их в сети Петри / С.Л. Крывый, А.В. Чугаенко, Л.Е. Матвеева // Кибернетика и системный анализ. — 2009. — № 6. — С. 165-171. — Бібліогр.: 13 назв. — рос. | uk_UA |
| dc.identifier.issn | 0023-1274 | |
| dc.identifier.uri | http://dspace.nbuv.gov.ua/handle/123456789/44496 | |
| dc.description.abstract | Розглянуто остаточний варіант алгоритму трансляції документів з мови MSC-2000 у мережі Петрі, що подійно еквівалентні до них. Вхідний документ може використовувати довільні елементи мови MSC-2000, але значення елементів у мовах не використовується, також послідовна композиція діаграм інтерпретується як строга. Наведений алгоритм реалізовано як повнофункціональний прототип, що може використовуватися для верифікації програмних систем. | uk_UA |
| dc.description.abstract | The article presents the final version of the algorithm for translating MSC-2000 documents to Petri net modulo event equivalence. The input document may include any elements of the MSC-2000 language, assuming that condition element value is not used and sequential composition of MSC diagrams is regarded as strict. The algorithm is implemented as a full-functional prototype and can be used to verify software systems. | uk_UA |
| dc.description.sponsorship | Работа выполнена при финансовой поддержке МОН Украины в рамках совместного Украинско-Болгарского проекта №145/23,02,2009 «Разработка распределенных лабораторий на основе прогрессивных методов доступа для поддержки проектирования сенсорных систем» и Болгарского национального научного фонда в рамках совместного Болгарско-Украинского проекта Д002-331/19,12,2008 с тем же названием. | uk_UA |
| dc.language.iso | ru | uk_UA |
| dc.publisher | Інститут кібернетики ім. В.М. Глушкова НАН України | uk_UA |
| dc.relation.ispartof | Кибернетика и системный анализ | |
| dc.subject | Новые средства кибернетики, информатики, вычислительной техники и системного анализа | uk_UA |
| dc.title | Исследование свойств документов MSC с помощью преобразования их в сети Петри | uk_UA |
| dc.title.alternative | Дослідження властивостей документів MSC за допомогою їх перетворення у мережі Петрі | uk_UA |
| dc.title.alternative | Exploring the properties of MSC documents by converting them to Petri nets | uk_UA |
| dc.type | Article | uk_UA |
| dc.status | published earlier | uk_UA |
| dc.identifier.udc | 51.681.3 |
