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.