Converted most images to tikz

content/applying-automata-learning.tex

@@ -624,7 +624,33 @@ The old transitions and state \kw{B} are removed.
   [title={Example of empty transition transformation. On the left the original version. On the right the transformed version.},
    list={Empty transition transformation},
    reference=fig:model-example1]
-\externalfigure[model-example1.pdf][width=0.5\textwidth]
+\hbox{\switchtobodyfont[small]\starttikzpicture
+  [ dot/.style={draw, circle, inner sep=3pt},
+    conn/.style={->, shorten >=1pt},
+    x=0.7cm, y=-1.2cm ]
+\node[dot] at ( 0, 0) (A) {A};
+\node[dot] at ( 0, 1) (B) {B};
+\node[dot] at (-1, 2) (C) {C};
+\node[dot] at ( 1, 2) (D) {D};
+
+\node[dot] at ( 8, 0) (A2) {A};
+\node[dot] at ( 7, 2) (C2) {C};
+\node[dot] at ( 9, 2) (D2) {D};
+
+\path[conn]
+  (A) edge node[left] {\kw{OP()}} (B)
+  (B) edge node[left] {\kw{["a==0"]}} (C)
+  (B) edge node[right] {\kw{["a==1"]}} (D);
+
+\path[conn]
+  (A2) edge node[left] {\kw{["a==0"]}} (C2)
+  (A2) edge node[right] {\kw{["a==1"]}} (D2);
+
+\node[fit=(A)(B)(C)(D)] (box1) {};
+\node[fit=(A2)(C2)(D2)] (box2) {};
+
+\path[|->, shorten >=1cm, shorten <=1cm] (box1) edge (box2);
+\stoptikzpicture}
 \stopplacefigure
 \stopdescription
 
@@ -646,10 +672,38 @@ When flattening the statechart, we modified the guards of supertransitions to en
 %Once a leaf state is reached all the collected supertransitions are added as outgoing transitions of the leaf state.
 
 \startplacefigure
-  [title={Example of supertransition transformation. On the left the original version. On the right the transformed version},
+  [title={Example of supertransition transformation. On the left the original version. On the right the transformed version.},
    list={Supertransition transformation.},
    reference=fig:model-example2]
-\externalfigure[model-example2.pdf][width=0.4\textwidth]
+\hbox{\switchtobodyfont[small]\starttikzpicture
+  [ dot/.style={draw, circle, inner sep=3pt},
+    conn/.style={->, shorten >=1pt},
+    supern/.style={draw, rounded corners, inner sep=10pt},
+    superl/.style={fill=white},
+    x=1cm, y=-1.5cm ]
+\node[dot] at (0, 0) (B) {B};
+\node[dot] at (0, 1) (C) {C};
+\path[conn] (B) edge node[right] (BC) {\kw{IP() ["a==1"]}} (C);
+
+\node[supern, fit=(B)(C)(BC)] (A) {};
+\node[superl] at (A.north) {A};
+
+\draw[conn]
+  (A.east) ++ (0, 20pt) -- node[above] {\kw{IP()}} ++ (20pt, 0) |- ++ (-20pt, -10pt);
+
+
+\node[dot] at (6, 0) (B2) {B};
+\node[dot] at (6, 1) (C2) {C};
+\path[conn] (B2) edge node[right] (BC2) {\kw{IP() ["a==1"]}} (C2);
+
+\node[supern, fit=(B2)(C2)(BC2)] (A2) {};
+\node[superl] at (A2.north) {A};
+
+\draw[conn] (B2) -- node[above] {\kw{IP() ["a!=1"]}} (B2 -| A2.east);
+\draw[conn] (C2) -- node[below] {\kw{IP()}} (C2 -| A2.east);
+
+\path[|->, shorten >=1cm, shorten <=1cm] (A) edge (A2);
+\stoptikzpicture}
 \stopplacefigure
 
 \in{Figure}[fig:model-example2] shows an example model with supertransitions and its transformed version.