State — Session FSM

stateDiagram-v2
    [*] --> Lobby: createSession
    Lobby --> GameSelection: hostOpensCatalog
    GameSelection --> InGame: startGame
    InGame --> GameSelection: gameEnds
    GameSelection --> InGame: switchGame
    InGame --> Paused: pause
    Paused --> InGame: resume
    Lobby --> Closed: closeSession
    GameSelection --> Closed: closeSession
    InGame --> Closed: closeSession

INV-001: InGame ⟹ one active GameInstance

Исходник: state-session.mmd