these-jcb/tables/denombrementCibles.tex

%\begin{itemize}
%  \item $4N+3$ \emph{Places} normales et $N-1$ \emph{resolve} ;
%  \item $2N+2$ \emph{Transitions} normales et $3N-1$ \emph{resolve} ;
%  \item $8N+3$ \emph{Arcs}.
%%    exemple \#1 : 1 processus composé de N WorkDefinitions, toutes chaînées
%%    en f2s ; 2N éléments src (1 P + N WD + (N-1) WS ; 14N+8 éléments tgt (P :
%%    3pl+2tr+4a ; WD : 4pl+2tr+5a ; WS : 1a ; arcs de synchro : 2/WD) ; 
%%    4N-2 éléments resolve (WD : 2tr ; WS : 1pl+1tr)
%%%  \item exemple \#2 : ???
%\end{itemize}
\begin{tabular}[h]{c|c|c|c|c|c|c}
  \multicolumn{2}{c|}{Places} &
  \multicolumn{2}{c|}{Transitions} & \multirow{2}{*}{Arcs} &
  \multirow{2}{*}{T$_{resolve}$} &
  \multirow{2}{*}{T$_{normal}$} \\
  $n$ & $r$ & $n$ & $r$ & & & \\
  \hline
  $4N+3$ & $N-1$ & $2N+2$ & $3N-1$ & $8N+3$ & $4N-2$ & $14N+8$ \\
\end{tabular}
%\caption{Dénombrement des éléments cibles créés en fonction du nombre de
%  \emph{WorkDefinitions} donné en entrée ($N$).}
%\label{table:denombrementCibles}