I'm having this conversation on stackoverflow:

http://stackoverflow.com/questions/2779922/how-model-statemachine-when-state-is-dependent-on-a-function

I was under the impression that you can only have one initial state, but in Jude/Astah you can have multiple arrows pointing out of one initial state on a statemachine diagram.

Is it bad tool support of the language or do you know of a normative reference in the UML spec somewhere where this is allowed ?