Platform Independent Petri Net Editor

proyek Platform Independen Petri Net Editor (PIPA) menciptakan dan analisis Petri Nets cepat, efisien, dan efektif.
Fitur desain kunci pendekatan modular diadopsi untuk analisis, memungkinkan modul baru yang akan ditulis dengan mudah dan kuat, menggunakan metode lapisan data built-in untuk perhitungan standar.
Enam modul analisis disediakan, termasuk Invarian Analisis, Negara-Space Analisis (kebuntuan, dll), dan Analisis Simulasi dan Klasifikasi.
PIPA mematuhi XML Petri net standar (pNML). Format file untuk menyimpan dan memuat Petri Nets adalah extensible melalui penggunaan XSLT, default menjadi pNML.