3.State
machines
•In finite state machines (FSMs), components
represent system state and the interactions represent state transitions.
•FSM models are not as expressive as the other
models of computation described here. And the number of states can easily get
very large.
•Combining FSM models with concurrent models of
computation to overcome the weakness.