Исследование свойств документов MSC с помощью преобразования их в сети Петри / Крывый С. Л., Чугаенко А. В., Матвеева Л. Е. (2009)
Ukrainian

інтернет-адреса сторінки: http://jnas.nbuv.gov.ua/article/UJRN-0000467773
  Кибернетика и системный анализ      А - 2019  /     Випуск (2009, Т. 45, № 6)

Крывый С. Л., Чугаенко А. В., Матвеева Л. Е.
Исследование свойств документов MSC с помощью преобразования их в сети Петри

Розглянуто остаточний варіант алгоритму трансляції документів з мови MSC-2000 у мережі Петрі, що подійно еквівалентні до них. Вхідний документ може використовувати довільні елементи мови MSC-2000, але значення елементів у мовах не використовується; послідовна композиція діаграм інтерпретується як строга. Наведений алгоритм реалізовано як повнофункціональний прототип, що може використовуватися для верифікації програмних систем.

Бібліографічний опис:
Крывый С. Л., Чугаенко А. В., Матвеева Л. Е. Исследование свойств документов MSC с помощью преобразования их в сети Петри. Кибернетика и системный анализ. 2009. Т. 45, № 6. С. 165-171. URL: http://jnas.nbuv.gov.ua/article/UJRN-0000467773

English  Cybernetics and Systems Analysis   /     Issue (2009, 45 (6))

translit 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].

 

Інститут інформаційних технологій НБУВ

+38 (044) 525-36-24
libnas@nbuv.gov.ua
Голосіївський просп., 3, к. 209
м. Київ, 03039, Україна