A. A. Stenenko

Publication Activity (10 Years)

Years Active: 2017-2017
Publications (10 Years): 1

Top Topics

Control Structures

Decision Support

Colored Petri Nets

Top Venues

Autom. Control. Comput. Sci.

Publications

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