Автоматическая система анализа и верификации телекоммуникационной системы, описанной на языке MSC, с помощью формализма сетей Петри

摘要

За останні 20 років формальні методи почали широко використовуватись для специфікації, аналізу, верифікації та відповідногоudтестування програмних та технічних систем і, зокрема, телекомунікаційних протоколів [1]. В даній роботі пропонуєтьсяudавтоматизований технологічний процес формальної специфікації та верифікації телекомунікаційної системи. Формальна модельudсистеми будується у вигляді ординарної мережі Петрі. Аналіз системи виконується за допомогою методів лінійної алгебри.