This shows you the differences between two versions of the page.
Both sides previous revisionPrevious revisionNext revision | Previous revision | ||
en:m_bouai [2010/03/08 18:49] – castillo | en:m_bouai [2010/03/11 19:11] (current) – castillo | ||
---|---|---|---|
Line 1: | Line 1: | ||
- | ==== Seminar | + | ==== Seminar -- November 17th, 2009 ==== |
\\ | \\ | ||
Line 11: | Line 11: | ||
Les Réseaux de Petri Colorés (RdPC) sont des RdP augmentés d'une sémantiques permettant la différentiation des jetons. Les RdPC sont munis d'une grande expressivité et sont considérés comme outil de modélisation puissant, reconnu et formel. L' | Les Réseaux de Petri Colorés (RdPC) sont des RdP augmentés d'une sémantiques permettant la différentiation des jetons. Les RdPC sont munis d'une grande expressivité et sont considérés comme outil de modélisation puissant, reconnu et formel. L' | ||
+ | |||
+ | {{en: | ||
\\ | \\ | ||