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.