%
% $Id: report.tex 573 2008-04-21 20:58:12Z rick $
%

\documentclass[12pt,a4paper]{article}

\frenchspacing
\usepackage[english]{babel}
\selectlanguage{english}
\usepackage{url}
\usepackage{multicol}
\usepackage{graphics}

% Include tikz,pdf drawing package
\usepackage{pgf,tikz}
\usetikzlibrary{automata,arrows,positioning}
\usetikzlibrary{shapes.multipart}

\author{Rick van der Zwet, Universiteit Leiden}
\title{XXX \\
\large{XXX}}
\author{Rick van der Zwet\\
  \texttt{<hvdzwet@liacs.nl>}\\
  \\
  LIACS\\
  Leiden University\\
  Niels Bohrweg 1\\
  2333 CA Leiden\\
  The Netherlands}
\date{\today}

\begin{document}
\maketitle

\begin{center}
\begin{figure}[!ht]
\includegraphics[width=\textwidth]{0007_en_deadlock}
\caption{0xBABAF000L --- http://tnerual.eriogerg.free.fr/0xBABAF000L/index.html}
\label{fig:deadlock}
\end{figure}
\end{center}

Figure~\ref{fig:fork} shows the different states a fork could get, while
Figure~\ref{fig:phil} states the Philosopher, the string of length
states the state of $Fork_i Fork_{i+1} Hungry$.The Philosopher $i$ has got
$Fork_i$ laying left of him and $Fork_{i+1}$ on his right. In total
there are $n$ Philosophers. The last one in the circle number $n$ has
got a special case, cause his right fork is $Fork_0$

\begin{figure}[!ht]
\begin{center}
\begin{tikzpicture}[shorten >=1pt,node distance=3cm,on grid,auto]
\node[state,initial]    (A)              {Free};
\node[state]            (B) [below=of A]      {Taken};
\path[->]   (A) edge [bend left] node {} (B)
            (B) edge [bend left] node {} (A);
\end{tikzpicture}
\end{center}
\caption{Kripke structure $Fork_i$}
\label{fig:fork}
\end{figure}

\begin{figure}[!ht]
\begin{center}
\begin{tikzpicture}[shorten >=1pt,node distance=3cm,on grid,auto]
\node[state with output, initial] (A) {Thinking \nodepart{lower} $000$};
\node[state with output] (B) [below right=of A] {Hungry \nodepart{lower} $001$};
\node[state with output] (C) [below left=of B] {Waiting \nodepart{lower} $011$};
\node[state with output] (D) [below left=of A] {Eating  \nodepart{lower} $111$};
\path[->]   (A) edge [bend left] node {} (B)
            (B) edge [bend left] node {} (C)
            (C) edge [bend left] node {} (D)
            (D) edge [bend left] node {} (A);
\end{tikzpicture}
\end{center}
\caption{Kripke structure $Philosophers_i$}
\label{fig:phil}
\end{figure}



%\begin{thebibliography}{10}
%\end{thebibliography}
% \advance\textwidth by 8cm
% \advance\oddsidemargin by -3cm
% \advance\evensidemargin by -3cm
% \advance\topmargin by -2cm
% \advance\textheight by 4cm
% \advance\footskip by -4cm
% \marginparwidth 0cm
% \twocolumn
% \section*{Appendix}
% De NN code en pre-parse.pl code  zagen er als volgt uit:
% \newline
% \tiny
% %preformatted with `source-highlight -n -f latex bridge.cc`
% \input{nn.c}
% \input{data/pre-parse.pl}
% \onecolumn

\end{document}
