Forum Programmation.autre [Réseau de Petri] Recherche de librairie

Bonjour,

dans le cadre d'un projet je dois développer un logiciel d'édition de réseau de Petri avec une interface riche type glisser-déposer pour placer les éléments.

Je pense le faire en JAVA, et je recherche une librairie qui s'occupe justement de ces réseaux de Petri. Je ni l'envie ni le temps de réinventer la roue.

Je cherche quelque-chose qui soit :
- multiplateforme ;
- avec un développement relativement actif ;
- pas complètement imbitable ;
- idéalement qui permette aussi d'exécuter/vérifier ces réseaux.

Si quelqu'un a déjà développé un logiciel d'édition de réseaux de Petri je serai particulièrement intéressé par ses retours !

Merci et bonne journée.