State Transition System
Definition
A state transition system defines possible states and the allowed transitions between them.
A state transition system describes possible system states and the transitions caused by events or actions between them.
Simply explained
An order can be open, paid, or canceled. The model records which action leads it to which state.
Why it matters in practice
The term helps to select, develop, evaluate AI systems in a well-founded manner and realistically assess their technical risks.
Example from business
An order process allows transitions from "open" to "paid" or "canceled," but not directly from "canceled" to "shipped."
Limits and pitfalls
- Incomplete states or transitions leave special cases unmodeled; state space explosion complicates formal verification.
Origin & history
Transition systems originate from automata, process, and verification theory and form the semantics of many reactive systems.
Use in mid-sized companies
- Possible application: An order process allows transitions from "open" to "paid" or "canceled," but not directly from "canceled" to "shipped."
Frequently asked questions
What does state transition system mean?
A state transition system describes possible system states and the transitions caused by events or actions between them. What should you watch out for? Incomplete states or transitions leave special cases unmodeled; state space explosion complicates formal verification.
Sources
- Principles of Model Checking · Baier and Katoen, Principles of Model Checking
Source checked on 10.10.2026. Editorial application examples are hypothetical; no evidence of real customer results.
Editorially reviewed on: