This shows you the differences between two versions of the page.
Next revision | Previous revisionLast revisionBoth sides next revision | ||
en:m_bouai [2010/03/08 18:23] – created castillo | en:m_bouai [2010/03/09 11:17] – castillo | ||
---|---|---|---|
Line 6: | Line 6: | ||
=== Analyse des modèles réseaux de Petri Colorés par l' | === Analyse des modèles réseaux de Petri Colorés par l' | ||
- | by **Mohamed BOUAI** | + | by **Mohamed BOUAI**, PhD Student Heudiasyc |
__Abstract: | __Abstract: | ||
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: | ||
\\ | \\ | ||