A formal model used to represent and analyze the dynamic behavior of systems by defining states and transitions between them based on actions or events.
Generality: 500
