NOTE: Oblig-I

Please note the following with respect to Question 3: The state machines should be reactive (no transition without input signal) and communicating. Hence, you have to distinguish between input and output signals (input and output seperated by "/").

Moreover each state machine should be able to simulate its lifeline as outlined in detail in the final part of the lecture on state machines.