Magno, vc vê os checkbox acima? Vc deve marcá-lo p/ responder sua questão. É muito difícil p/ vc compreender? Quer q eu desenhe, quer uma animação em flash?
a) É justamente o contrário, a condição de guarda precisa ser verdadeira
b) Podem sim. Existem 3 tipos de diagramas de estado: simples, compostos (aninhados) e de submáquina. Inclusive os diagramas de estado que são compostos podem especificar regiões concorrentes internas conhecidas como regiões ortogonais. Isso da origem tb aos estados ortogonais
c) sim, existe. Através de barra de bifurcação\união ou de estados ortogonais
d)ok
e) Claro que podem