The initial state of the transition
system corresponds to the initial marking of the Petri net. Transitions
correspond to firings of transitions in the Petri net. Transition
labels correspond the transition names. Note that at some states of the
transition system we have a choice between to different actions leading
to the same state.