This shows you the differences between two versions of the page.

Link to this comparison view

sub_model_state [2016/09/22 02:36] (current)
Line 1: Line 1:
 +State "​state3"​ has a sub model attached as it has the bordered "​state"​ label. The states "​node1",​ "​node2"​ and "​node3"​ belong to the sub model. These states from sub model are identified by their dashed border on "​state"​ label.
 +The "​state3"​ also has one transition "​backToState1"​ with "​state1"​ as its target state. This transition is different from other normal transitions. Notice the prefix "​(node1)"​ in the transition label. This indicates that this transition is actually attached to the state "​node3"​ in the sub model.
QR Code
QR Code sub_model_state (generated for current page)