The Candymachine was learned using LearnLib. Figure~\ref{fig:candy} shows the
learned model. In this Figure S0 is the initial state.
-\begin{figure}
+\begin{figure}[H]
\includegraphics[width=1.7\textwidth,natwidth=2389,natheight=891]{1candyFig.png}
\caption{Learned model of the candy machine}
\label{fig:candy}