State and transition model