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

  1. 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