Формальные методы анализа дискретных систем с использованием языка спецификаций
Описано реалізацію алгоритму переведення набору діаграм MSC (документа MSC) в подійно еквівалентну йому мережу Петрі, наведено доказ коректності зазначеного алгоритму. Мережа, що отримана таким чином, може бути використана для аналізу властивостей вихідного документа MSC. Наведений алгоритм є складо...
Збережено в:
| Дата: | 2009 |
|---|---|
| Автори: | , |
| Формат: | Стаття |
| Мова: | Russian |
| Опубліковано: |
Інститут кібернетики ім. В.М. Глушкова НАН України
2009
|
| Назва видання: | Кибернетика и системный анализ |
| Теми: | |
| Онлайн доступ: | http://dspace.nbuv.gov.ua/handle/123456789/44382 |
| Теги: |
Додати тег
Немає тегів, Будьте першим, хто поставить тег для цього запису!
|
| Назва журналу: | Digital Library of Periodicals of National Academy of Sciences of Ukraine |
| Цитувати: | Формальные методы анализа дискретных систем с использованием языка спецификаций/ С.Л. Крывый, А.В. Чугаенко // Кибернетика и системный анализ. — 2009. — № 4. — С. 31-48. — Бібліогр.: 13 назв. — рос. |
Репозитарії
Digital Library of Periodicals of National Academy of Sciences of Ukraine| id |
irk-123456789-44382 |
|---|---|
| record_format |
dspace |
| spelling |
irk-123456789-443822013-06-01T03:04:15Z Формальные методы анализа дискретных систем с использованием языка спецификаций Крывый, С.Л. Чугаенко, А.В. Кибернетика Описано реалізацію алгоритму переведення набору діаграм MSC (документа MSC) в подійно еквівалентну йому мережу Петрі, наведено доказ коректності зазначеного алгоритму. Мережа, що отримана таким чином, може бути використана для аналізу властивостей вихідного документа MSC. Наведений алгоритм є складовою частиною системи аналізу та верифікації документів MSC. The paper describes the realization of the algorithm for translating an MSC diagram set (MSC document) to Petri net modulo event equivalence and proves the correctness of the algorithm. The net obtained by this method can be used to analyze the properties of the original MSC document. The algorithm is a part of a system of MSC document verification and analysis. 2009 Article Формальные методы анализа дискретных систем с использованием языка спецификаций/ С.Л. Крывый, А.В. Чугаенко // Кибернетика и системный анализ. — 2009. — № 4. — С. 31-48. — Бібліогр.: 13 назв. — рос. 0023-1274 http://dspace.nbuv.gov.ua/handle/123456789/44382 51.681.3 ru Кибернетика и системный анализ Інститут кібернетики ім. В.М. Глушкова НАН України |
| institution |
Digital Library of Periodicals of National Academy of Sciences of Ukraine |
| collection |
DSpace DC |
| language |
Russian |
| topic |
Кибернетика Кибернетика |
| spellingShingle |
Кибернетика Кибернетика Крывый, С.Л. Чугаенко, А.В. Формальные методы анализа дискретных систем с использованием языка спецификаций Кибернетика и системный анализ |
| description |
Описано реалізацію алгоритму переведення набору діаграм MSC (документа MSC) в подійно еквівалентну йому мережу Петрі, наведено доказ коректності зазначеного алгоритму. Мережа, що отримана таким чином, може бути використана для аналізу властивостей вихідного документа MSC. Наведений алгоритм є складовою частиною системи аналізу та верифікації документів MSC. |
| format |
Article |
| author |
Крывый, С.Л. Чугаенко, А.В. |
| author_facet |
Крывый, С.Л. Чугаенко, А.В. |
| author_sort |
Крывый, С.Л. |
| title |
Формальные методы анализа дискретных систем с использованием языка спецификаций |
| title_short |
Формальные методы анализа дискретных систем с использованием языка спецификаций |
| title_full |
Формальные методы анализа дискретных систем с использованием языка спецификаций |
| title_fullStr |
Формальные методы анализа дискретных систем с использованием языка спецификаций |
| title_full_unstemmed |
Формальные методы анализа дискретных систем с использованием языка спецификаций |
| title_sort |
формальные методы анализа дискретных систем с использованием языка спецификаций |
| publisher |
Інститут кібернетики ім. В.М. Глушкова НАН України |
| publishDate |
2009 |
| topic_facet |
Кибернетика |
| url |
http://dspace.nbuv.gov.ua/handle/123456789/44382 |
| citation_txt |
Формальные методы анализа дискретных систем с использованием языка спецификаций/ С.Л. Крывый, А.В. Чугаенко // Кибернетика и системный анализ. — 2009. — № 4. — С. 31-48. — Бібліогр.: 13 назв. — рос. |
| series |
Кибернетика и системный анализ |
| work_keys_str_mv |
AT kryvyjsl formalʹnyemetodyanalizadiskretnyhsistemsispolʹzovaniemâzykaspecifikacij AT čugaenkoav formalʹnyemetodyanalizadiskretnyhsistemsispolʹzovaniemâzykaspecifikacij |
| first_indexed |
2023-10-18T18:00:15Z |
| last_indexed |
2023-10-18T18:00:15Z |
| _version_ |
1796143062927278080 |