1 2 3 4 5 6 7 8 9 10 11 12 13 14
machine A [ states [ A ]; events [ A ]; starting on A; transitions [ from A to A on event A if (A.A && !A.A) execute eke; else execute asdf; ]; ];