%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%\subsection{Activités doctorales}

%tableau nom / date / position actuelle pour HdR

%tableau nom / date / position actuelle pour thèses

\subsubsection{cours de DEA et stages / Master 2 recherche}

\subsubsubsection{Cours de DEA / Master 2 recherche}
\begin{itemize}
\item 2005-2007 (C. Choppy et L. Petrucci) : cours de systèmes parallèles
  asynchrones (option), master 2 recherche informatique, Paris 13.
\item 2005-2007 (C. Choppy et L. Petrucci) : cours de spécification et
  vérification de systèmes (tronc commun), master 2 recherche informatique,
  Paris 13.
\end{itemize}

\subsubsubsection{Stages de DEA / Master 2 recherche}
\begin{itemize}
\item 2004 (C. Choppy, L. Petrucci) : M. Bounif (DEA Paris 13), stage
  abandonné.
\item 2005 (F. Kordon (LIP6), L. Petrucci, N. Trèves (CEDRIC)) : L. Hillah
  (M2 SAR Paris 6), \textit{Construction d'un standard d'échange de réseaux de
  Petri dans le cadre de la norme ISO/IEC-15909}.
  \item 2006 (C. Choppy, L. Petrucci) : W. Luo (M2R MICR Paris 13), \textit{Une
    méthode d'analyse et spécification pour les système complexes avec des
    réseaux de Petri de haut niveau et des spécifications algébriques}.
\item 2007 (L. Petrucci) : Steven Gay (MPRI, ENS Cachan),
  \textit{Raffinement de réseaux de Petri}.
  \item 2007 (C. Choppy, M. Mayero, L. Petrucci) : N. Ghozlane (M2R MICR Paris
    13), \textit{Raffinement de réseaux de Petri de haut niveau}.
\item 2007 (K. Klai, L. Petrucci) : Rabih Chahine (M2R SLCHP, INP Toulouse),
  \textit{Analyse compositionnelle de réseaux de Petri}.
\end{itemize}