Platform Independent Petri Net Editor

projet Platform Independent Petri Editor net (PIPE) crée et analyse les réseaux de Petri rapidement, efficacement et de manière efficace.
Une caractéristique clé de la conception est l'approche modulaire adoptée pour l'analyse, permettant de nouveaux modules pour être écrits facilement et puissamment, en utilisant des méthodes de la couche de données intégré pour des calculs standard.
Six modules d'analyse sont fournis, y compris Invariant analyse, État-Space Analysis (impasse, etc.), et d'analyse de simulation et de la classification.
PIPE adhère à la norme réseau de Petri XML (PNML). Le format de fichier pour la sauvegarde et le chargement de Petri est extensible grâce à l'utilisation de XSLT, la valeur par défaut étant PNML.