Choice and Junction

compound transitions with choice and junction

choice

a pseudo state for dynamic branching

junctions

a pseudo state for static branching or joining