Application of Colored Petri Nets for Verification of Scenario Control Structures in UCM Notation. - N. V. Vizovitin; Valery A. Nepomniaschy; A. A. Stenenko (Autom. Control. Comput. Sci., 2017)