Формальные методы анализа дискретных систем с использованием языка спецификаций
Описано реалізацію алгоритму переведення набору діаграм MSC (документа MSC) в подійно еквівалентну йому мережу Петрі, наведено доказ коректності зазначеного алгоритму. Мережа, що отримана таким чином, може бути використана для аналізу властивостей вихідного документа MSC. Наведений алгоритм є складо...
Saved in:
| Published in: | Кибернетика и системный анализ |
|---|---|
| Date: | 2009 |
| Main Authors: | , |
| Format: | Article |
| Language: | Russian |
| Published: |
Інститут кібернетики ім. В.М. Глушкова НАН України
2009
|
| Subjects: | |
| Online Access: | https://nasplib.isofts.kiev.ua/handle/123456789/44382 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| Journal Title: | Digital Library of Periodicals of National Academy of Sciences of Ukraine |
| Cite this: | Формальные методы анализа дискретных систем с использованием языка спецификаций/ С.Л. Крывый, А.В. Чугаенко // Кибернетика и системный анализ. — 2009. — № 4. — С. 31-48. — Бібліогр.: 13 назв. — рос. |
Institution
Digital Library of Periodicals of National Academy of Sciences of Ukraine| _version_ | 1862548371143655424 |
|---|---|
| author | Крывый, С.Л. Чугаенко, А.В. |
| author_facet | Крывый, С.Л. Чугаенко, А.В. |
| citation_txt | Формальные методы анализа дискретных систем с использованием языка спецификаций/ С.Л. Крывый, А.В. Чугаенко // Кибернетика и системный анализ. — 2009. — № 4. — С. 31-48. — Бібліогр.: 13 назв. — рос. |
| collection | DSpace DC |
| container_title | Кибернетика и системный анализ |
| description | Описано реалізацію алгоритму переведення набору діаграм 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.
|
| first_indexed | 2025-11-25T20:15:38Z |
| format | Article |
| fulltext | |
| id | nasplib_isofts_kiev_ua-123456789-44382 |
| institution | Digital Library of Periodicals of National Academy of Sciences of Ukraine |
| issn | 0023-1274 |
| language | Russian |
| last_indexed | 2025-11-25T20:15:38Z |
| publishDate | 2009 |
| publisher | Інститут кібернетики ім. В.М. Глушкова НАН України |
| record_format | dspace |
| spelling | Крывый, С.Л. Чугаенко, А.В. 2013-05-31T20:20:20Z 2013-05-31T20:20:20Z 2009 Формальные методы анализа дискретных систем с использованием языка спецификаций/ С.Л. Крывый, А.В. Чугаенко // Кибернетика и системный анализ. — 2009. — № 4. — С. 31-48. — Бібліогр.: 13 назв. — рос. 0023-1274 https://nasplib.isofts.kiev.ua/handle/123456789/44382 51.681.3 Описано реалізацію алгоритму переведення набору діаграм 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. ru Інститут кібернетики ім. В.М. Глушкова НАН України Кибернетика и системный анализ Кибернетика Формальные методы анализа дискретных систем с использованием языка спецификаций Формальні методи аналізу дискретних систем з використанням мови специфікацій Formal methods of discrete systems analysis using a specification language Article published earlier |
| spellingShingle | Формальные методы анализа дискретных систем с использованием языка спецификаций Крывый, С.Л. Чугаенко, А.В. Кибернетика |
| title | Формальные методы анализа дискретных систем с использованием языка спецификаций |
| title_alt | Формальні методи аналізу дискретних систем з використанням мови специфікацій Formal methods of discrete systems analysis using a specification language |
| title_full | Формальные методы анализа дискретных систем с использованием языка спецификаций |
| title_fullStr | Формальные методы анализа дискретных систем с использованием языка спецификаций |
| title_full_unstemmed | Формальные методы анализа дискретных систем с использованием языка спецификаций |
| title_short | Формальные методы анализа дискретных систем с использованием языка спецификаций |
| title_sort | формальные методы анализа дискретных систем с использованием языка спецификаций |
| topic | Кибернетика |
| topic_facet | Кибернетика |
| url | https://nasplib.isofts.kiev.ua/handle/123456789/44382 |
| work_keys_str_mv | AT kryvyisl formalʹnyemetodyanalizadiskretnyhsistemsispolʹzovaniemâzykaspecifikacii AT čugaenkoav formalʹnyemetodyanalizadiskretnyhsistemsispolʹzovaniemâzykaspecifikacii AT kryvyisl formalʹnímetodianalízudiskretnihsistemzvikoristannâmmovispecifíkacíi AT čugaenkoav formalʹnímetodianalízudiskretnihsistemzvikoristannâmmovispecifíkacíi AT kryvyisl formalmethodsofdiscretesystemsanalysisusingaspecificationlanguage AT čugaenkoav formalmethodsofdiscretesystemsanalysisusingaspecificationlanguage |