This shows you the differences between two versions of the page.
Next revision | Previous revision | ||
en:m_bouai [2010/03/08 18:23] – created castillo | en:m_bouai [2010/03/11 19:11] (current) – castillo | ||
---|---|---|---|
Line 1: | Line 1: | ||
- | ==== Seminar | + | ==== Seminar -- November 17th, 2009 ==== |
\\ | \\ | ||
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: | ||
\\ | \\ | ||