FSA

FSA extension is a set of extensions based on the concept of discrete and finite state. The dynamics of such models are built around this set of discrete states. The two simplest are Moore and Mealy where we simply describe a graph of state transitions. Transitions are connected to the event inputs of the model and the arrival or the firing of a transition leads to the event sending. The third extension concerns a restriction of PDevs to discrete and finite states: FDDevs. The latest extension is concerned with UML Statecharts.