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)
