Formal methods for analysis of discrete systems using a specification language

Authors:
S. L. Kryvyi;A. V. Chugayenko
Affiliations:
Cybernetics Institute, National Academy of Sciences of Ukraine, Kiev, Ukraine;Cybernetics Institute, National Academy of Sciences of Ukraine, Kiev, Ukraine
Venue:
Cybernetics and Systems Analysis
Year:
2009

Citing 3
Cited 1

Algorithms for solving systems of linear diophantine equations in integer domains

Cybernetics and Systems Analysis
Automatic Modeling and Analysis of MSC-specified Systems

Fundamenta Informaticae - Concurrency Specification and Programming (CS&P 2004)
Algorithm of Translation of MSC-specified System into Petri Net

Fundamenta Informaticae - Special Issue on Concurrency Specification and Programming (CS&P)

Exploring the properties of MSC documents by translating them into Petri nets

Cybernetics and Systems Analysis

Quantified Score

Hi-index	0.00

Visualization

Abstract

A realization of an algorithm that translates an MSC diagram (an MSC document) into an event equivalent Petri net is described, and the correctness of the algorithm is proved. The net obtained in this way can be used to analyze properties of the original MSC document. The mentioned algorithm is a part of a system designed for verification and analysis of MSC documents.