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

• Date: 2008
• Main Authors: Чугаенко, А.В., Крывый, С.Л.
• Format: Article
• Language: Russian
• Published: Інститут програмних систем НАН України 2008
• Subjects: Інструментальні засоби і середовища програмування
• Online Access: https://nasplib.isofts.kiev.ua/handle/123456789/1476
• Journal Title: Digital Library of Periodicals of National Academy of Sciences of Ukraine
• Cite this: О алгоритме перевода документов msc в сети Петри / А.В. Чугаенко, С.Л. Крывый // Пробл. програмув. — 2008. — N 2-3. — С. 587-594. — Бібліогр.: 6 назв. — рус.

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