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 (…)