a transition point is the starting point of transitions that trigger for any state of this state machine

	StateMachine {
		TransitionPoint tp1
		Transition tr1: my tp1 -> my tp1 {
			triggers {
				<msg: port>
			}
		}
	}