Extended Algorithm for Translation of Msc-diagrams into Petri Nets

  • Sergii Kryvyy, Oleksiy Chugayenko
  • Published 2008

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.

3 Figures and Tables

Cite this paper

@inproceedings{Kryvyy2008ExtendedAF, title={Extended Algorithm for Translation of Msc-diagrams into Petri Nets}, author={Sergii Kryvyy and Oleksiy Chugayenko}, year={2008} }