Исследование свойств документов MSC с помощью преобразования их в сети Петри / Крывый С. Л., Чугаенко А. В., Матвеева Л. Е. (2009)
web address of the page http://jnas.nbuv.gov.ua/article/UJRN-0000467773
Cybernetics and Systems Analysis   А - 2019 /  Issue (2009, Т. 45, № 6)
Крывый С. Л., Чугаенко А. В., Матвеева Л. Е.
Исследование свойств документов MSC с помощью преобразования их в сети Петри Розглянуто остаточний варіант алгоритму трансляції документів з мови MSC-2000 у мережі Петрі, що подійно еквівалентні до них. Вхідний документ може використовувати довільні елементи мови MSC-2000, але значення елементів у мовах не використовується; послідовна композиція діаграм інтерпретується як строга. Наведений алгоритм реалізовано як повнофункціональний прототип, що може використовуватися для верифікації програмних систем.
Бібліографічний опис:
Крывый С. Л., Чугаенко А. В., Матвеева Л. Е. Исследование свойств документов MSC с помощью преобразования их в сети Петри. Кибернетика и системный анализ. 2009. Т. 45, № 6. С. 165-171. URL: http://jnas.nbuv.gov.ua/article/UJRN-0000467773 |  Cybernetics and Systems Analysis / Issue (2009, 45 (6))
 Transliteration
Kryvyj S. L., Chugaenko A. V., Matveeva L. E.
Issledovanie svojstv dokumentov MSC s pomoshchju preobrazovanija ikh v seti Petri
Cite:
Kryvyj, S. L., Chugaenko, A. V., Matveeva, L. E. (2009). Issledovanie svojstv dokumentov MSC s pomoshchju preobrazovanija ikh v seti Petri. Cybernetics and Systems Analysis, 45 (6), 165-171 http://jnas.nbuv.gov.ua/article/UJRN-0000467773 [In Russian]. | |
|
|
PDF