Verification des propriété de réseaux de pétr

Fermé
nesrounatn - Modifié par 00lina00 le 8/05/2010 à 00:09
 amie - 23 mai 2010 à 19:25
bonsoir

je voudrais savoir svp comment vérifier les propriétés d'un modèle d"un système multi agents à base de réseaux de pétri

1 réponse

modéliser le système en Rdp puis appliquer les propriétés de vivacité ,de blocage,d'invariant....
qui a plus d'info contacte moi sur neswebhamrouni@yahho.fr
0