О алгоритме перевода документов msc в сети Петри

• Datum: 2008
• Hauptverfasser: Чугаенко, А.В., Крывый, С.Л.
• Format: Artikel
• Sprache: Russian
• Veröffentlicht: Інститут програмних систем НАН України 2008
• Schlagworte: Інструментальні засоби і середовища програмування
• Online Zugang: https://nasplib.isofts.kiev.ua/handle/123456789/1476
• Назва журналу: Digital Library of Periodicals of National Academy of Sciences of Ukraine
• Zitieren: О алгоритме перевода документов msc в сети Петри / А.В. Чугаенко, С.Л. Крывый // Пробл. програмув. — 2008. — N 2-3. — С. 587-594. — Бібліогр.: 6 назв. — рус.

Описывается алгоритм перевода документа MSC в трассово эквивалентную ему сеть Петри. Полученная таким образом сеть Петри может использоваться для анализа свойств системы, представленной исходным документом MSC. Алгоритм является частью инструментария для автоматического анализа и верификации докум...