Logiciels : Différence entre versions

De MARMOTE
 
(3 révisions intermédiaires par un autre utilisateur non affichées)
Ligne 1 : Ligne 1 :
 
Pointeurs sur les logiciels développés par les membres du projet MARMOTE:
 
Pointeurs sur les logiciels développés par les membres du projet MARMOTE:
  
* [http://psi.gforge.inria.fr/website/Psi2_Unix_Website/Introduction.html Psi2], logiciel pour la simulation parfaite
+
* [http://marmotecore.gforge.inria.fr/ MarmoteCore], Un environnement logiciel dédié à la modélisation avec les chaînes de Markov.
 +
* [http://psi.gforge.inria.fr/dokuwiki/doku.php PSI], logiciel pour la simulation parfaite
 
* [http://www.prism.uvsq.fr/~jmf/index.php?activePage=Outils Xborne], un ensemble de programmes permettant de générer des chaînes de Markov, de les comparer et de les résoudre
 
* [http://www.prism.uvsq.fr/~jmf/index.php?activePage=Outils Xborne], un ensemble de programmes permettant de générer des chaînes de Markov, de les comparer et de les résoudre
 
* [http://www-id.imag.fr/Logiciels/peps/san.html PEPS], logiciel de manipulation de Réseaux d'Automates Stochastiques
 
* [http://www-id.imag.fr/Logiciels/peps/san.html PEPS], logiciel de manipulation de Réseaux d'Automates Stochastiques
* un inventaire sur psi, psi3 et xborn:
+
* un inventaire sur psi, psi3 et xborne:
 
<gallery>
 
<gallery>
Fichier:PSI.png|PSI
+
Fichier:PSI.png|Psi
 
Fichier:Psi3.png|Psi3
 
Fichier:Psi3.png|Psi3
 
Fichier:Xborne_1.png|XBorn
 
Fichier:Xborne_1.png|XBorn
Ligne 12 : Ligne 13 :
 
</gallery>
 
</gallery>
  
Cette liste s'allongera au cours du projet.
+
Pendant le projet, une nouvelle bibliothèque pour la modélisation Markovienne a été développée: [[marmoteCore]].

Version actuelle datée du 27 juin 2019 à 19:52

Pointeurs sur les logiciels développés par les membres du projet MARMOTE:

  • MarmoteCore, Un environnement logiciel dédié à la modélisation avec les chaînes de Markov.
  • PSI, logiciel pour la simulation parfaite
  • Xborne, un ensemble de programmes permettant de générer des chaînes de Markov, de les comparer et de les résoudre
  • PEPS, logiciel de manipulation de Réseaux d'Automates Stochastiques
  • un inventaire sur psi, psi3 et xborne:

Pendant le projet, une nouvelle bibliothèque pour la modélisation Markovienne a été développée: marmoteCore.