Le developpement rapide des systemes embarques et les exigences croissantes auxquelles ils sont soumis creent un besoin de techniques innovantes en terme de conception et de V&V. Les methodes formelles fournissent des approches interessantes a la conception de ces systemes. Le formalisme choisi dans ce travail est base sur les Reseaux de Petri Colores (RdPC). L'avantage de ces modeles, en plus d'etre tres expressifs et formels, est qu'ils permettent...