States have identifiers that are local to their containing flow definitions. They may also be annotated with attributes. author: Keith Donaldauthor: Erwin Vervaet