19 October 2011 The computational model, which consists of a limited number of states and transitions between these states, possibly associated actions. Related posts: Software Infrastructure