update document

[mc1516the.git] / first.tex

diff --git a/first.tex b/first.tex
index 6c231cd..81f4f3a 100644 (file)
--- a/first.tex
+++ b/first.tex
@@ -4,7 +4,11 @@
 (including intermediate states) of the composed system (so the product
 construction of the three automata) showing a train approaching and finally
 leaving the gate.}
-\includegraphics[width=\linewidth]{1a}
+\begin{figure}[h]
+       \centering
+       \includegraphics[width=.3\linewidth]{1a}
+       \caption{Timed transitions of the composed system}
+\end{figure}
 
 \subsection*{1.b}
 \emph{Consider the timed automaton in figure 1 of the paper ”Timed Automata” by