BulDML at Institute of Mathematics and Informatics: Extended Algorithm for Translation of MSC-diagrams into Petri Nets

	Home

Browse
	Communities & Collections
	Issue Date
	Author
	Title
	Subject

Sign on to:
	Receive email updates
	My DSpace authorized users
	Edit Profile


	About DSpace

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	Size	Format
IBS-01-p09.pdf		179.94 kB	Adobe PDF	View/Open

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

Creative Commons License