BulDML at Institute of Mathematics and Informatics >
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:

Title: Extended Algorithm for Translation of MSC-diagrams into Petri Nets
Authors: Kryvyy, Sergii
Chugayenko, Oleksiy
Keywords: MSC
Petri Net
Model Checking
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.
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!   Creative Commons License DSpace Software Copyright © 2002-2009  The DSpace Foundation - Feedback