Для цитирования:

Тарасюк И.В. Поведенческие эквивалентности сетей Петри с невидимыми переходами. Вестник СибГУТИ. 2012;(3):105-135.

For citation:

Tarasyuk I.V. Behavioural Equivalences of Petri Nets with Invisible Transitions. The Herald of the Siberian State University of Telecommunications and Information Science. 2012;(3):105-135. (In Russ.)