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

nesrounatn -  
 amie -
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

amie
 
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