Исследование свойств документов MSC с помощью преобразования их в сети Петри

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

Full description

Saved in:
Bibliographic Details
Published in:Кибернетика и системный анализ
Date:2009
Main Authors: Крывый, С.Л., Чугаенко, А.В., Матвеева, Л.Е.
Format: Article
Language:Russian
Published: Інститут кібернетики ім. В.М. Глушкова НАН України 2009
Subjects:
Online Access:https://nasplib.isofts.kiev.ua/handle/123456789/44496
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:Исследование свойств документов MSC с помощью преобразования их в сети Петри / С.Л. Крывый, А.В. Чугаенко, Л.Е. Матвеева // Кибернетика и системный анализ. — 2009. — № 6. — С. 165-171. — Бібліогр.: 13 назв. — рос.

Institution

Digital Library of Periodicals of National Academy of Sciences of Ukraine