IMI-BAS
 

BulDML at Institute of Mathematics and Informatics >
ITHEA >
International Book Series Information Science and Computing >
2008 >
Book 1 Algorithmic and Mathematical Foundations of the Artificial Intelligence >

Please use this identifier to cite or link to this item: http://hdl.handle.net/10525/1006

Title: Extended Algorithm for Translation of MSC-diagrams into Petri Nets
Authors: Kryvyy, Sergii
Chugayenko, Oleksiy
Keywords: MSC
Petri Net
Model Checking
Verification
RAD
Issue Date: 2008
Publisher: Institute of Information Theories and Applications FOI ITHEA
Abstract: The article presents an algorithm for translation the system, described by MSC document into Petri Net modulo strong bisimulation. Obtained net can be later used for determining various systems' properties. Example of correction error in original system with using if described algorithm presented.
URI: http://hdl.handle.net/10525/1006
ISSN: 1313-0455
Appears in Collections:Book 1 Algorithmic and Mathematical Foundations of the Artificial Intelligence

Files in This Item:

File Description SizeFormat
IBS-01-p09.pdf179.94 kBAdobe PDFView/Open

 



Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.

 

Valid XHTML 1.0! DSpace Software Copyright © 2002-2009  The DSpace Foundation - Feedback