Outils

Homepages

Notre section utilises des outils diverses pour la simulation et vérification des modèles formelles. Pour part des outils il y a des sites avec des exemples et plus des informations.

Renew. Renew est un outil programmé en Java qui est dévelopé içi à Hambourg.
Autres outils sont registrés a la page d'outils du Petri Nets World.

Outils en Java

Il y a quelques outils programmés en Java qu'on peut, par consequence, essayer trés façilement.

Java Application: Langages formels et automates
Java Applets: Réseaux Petri (Petri Nets World)

Responsable du site/mentions légales

Dernière modification: 10:57 23.06.2015