Programmes par petrikit.sf.net

PetriKit est une boîte à outils modulaire pour l’analyse Petri Net. Il permet l’extraction de propriétés de base, l’extraction d’invariants et la génération d’un graphique d’reachabilité. Les résultats peuvent être formatés d