Cyberiada-GraphML-1.0 SM 1 formal CGML_META standardVersion/ 1.0 platformName/ TestPlatform name/ Two SMs Composite State Simple State 1 entry/ a(); exit/ Simple State 2 entry/ b(); exit/ Скан entry/ c(); exit/ d(); initial E1 E2 E3 E4 E5 SM 2 Composite State 2 Simple State 4 entry/ e(); exit/ E4