- State Transition Diagrams (STD) is a modelling tool that helps developers and designers understand the interaction and operation between a computer and user.
- STDs is used to describe the behavior of a system
- A system can have only one initial state but can have many final states
- States are dependent of time and attributes of the system.
- Petri nets consists of nodes and arcs. They are used to model distributed systems