This shows you the differences between two versions of the page.
Both sides previous revisionPrevious revision | Last revisionBoth sides next revision | ||
en:m_bouai [2010/03/08 18:49] – castillo | en:m_bouai [2010/03/09 11:17] – castillo | ||
---|---|---|---|
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: | ||
\\ | \\ | ||