priorities 1. stop / Running->NotRunning 1. stop / Running->NotRunning 2. after(1 s) / Running->Running 2. after(1 s) / Running->Running 1. stop / Running->NotRunning->2. after(1 s) / Running->Running pseudo0 1. stop / Running->NotRunning->pseudo0 3. [time == 0] / Running->NotRunning 3. [time == 0] / Running->NotRunning 2. after(1 s) / Running->Running->3. [time == 0] / Running->NotRunning 2. after(1 s) / Running->Running->pseudo0 3. [time == 0] / Running->NotRunning->pseudo0 4. start / NotRunning->Running 4. start / NotRunning->Running 5. stop / NotRunning->NotRunning 5. stop / NotRunning->NotRunning 4. start / NotRunning->Running->5. stop / NotRunning->NotRunning 4. start / NotRunning->Running->pseudo0 5. stop / NotRunning->NotRunning->pseudo0 0. door_opened / DoorClosed->DoorOpen 0. door_opened / DoorClosed->DoorOpen 0. door_opened / DoorClosed->DoorOpen->1. stop / Running->NotRunning 0. door_opened / DoorClosed->DoorOpen->2. after(1 s) / Running->Running 0. door_opened / DoorClosed->DoorOpen->3. [time == 0] / Running->NotRunning 0. door_opened / DoorClosed->DoorOpen->4. start / NotRunning->Running 0. door_opened / DoorClosed->DoorOpen->5. stop / NotRunning->NotRunning 0. door_opened / DoorClosed->DoorOpen->pseudo0 7. increase_time / Default->Default 7. increase_time / Default->Default pseudo0->7. increase_time / Default->Default 6. door_closed / DoorOpen->DoorClosed 6. door_closed / DoorOpen->DoorClosed 6. door_closed / DoorOpen->DoorClosed->pseudo0