Login / Signup

Application of Colored Petri Nets for Verification of Scenario Control Structures in UCM Notation.

N. V. VizovitinValery A. NepomniaschyA. A. Stenenko
Published in: Autom. Control. Comput. Sci. (2017)
Keyphrases
  • control structures
  • colored petri nets
  • petri net
  • image processing
  • decision support
  • application scenarios
  • complex systems