indent Figure ref{fig:dabtree} shows an example of two parent states connecting to the same child state through actions.\
begin{figure}[h!]
  centering
  includegraphics[width=0.5textwidth]{Figures/dabtree.png}
  caption{Two parent nodes connecting to the same child node through separate actions}
  label{fig:dabtree}
end{figure}
indent A node that has multiple actions leading to it is called a transposition [4].