Extended Algorithm for Translation of MSC-diagrams into Petri Nets

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.

On Connection between Characterestic Functions and the Caratheodori Class Functions

2000 Mathematics Subject Classification: 47A65, 45S78.

Potapov-Ginsburg Transformation and Functional Models of Non-Dissipative Operators

2000 Mathematics Subject Classification: Primary 47A20, 47A45; Secondary 47A48.