FORMAL METHODS FOR ANALYSIS OF DISCRETE SYSTEMS USING A SPECIFICATION LANGUAGE

被引：2
|
作者：
Kryvyi, S. L. [1 ]
Chugayenko, A. V. [1 ]
机构：
[1] Natl Acad Sci Ukraine, Cybernet Inst, Kiev, Ukraine
来源：
CYBERNETICS AND SYSTEMS ANALYSIS | 2009年 / 45卷 / 04期
关键词：
Petri nets; MSC; verification;
D O I：
10.1007/s10559-009-9121-5
中图分类号：
TP3 [计算技术、计算机技术];
学科分类号：
0812 ;
摘要：
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.
引用
收藏
页码：528 / 543
页数：16
相关论文
共 50 条
12345