Platform Independent Petri Net Editor

проект платформено независим Petri Net Editor (PIPE) създава и анализира Petri Nets бързо, ефикасно и ефективно.
Основна характеристика дизайн е на модулен подход, приет за анализ, което позволява на нови модули да бъдат написани лесно и мощно, използвайки вградената методи слой данни за стандартни изчисления.
Шест анализ модули са предвидени, включително Инвариантна Анализ, държава-Space Анализ (безизходица, и т.н.), и симулация анализ и класификация.
PIPE придържа към XML Петри нетна стандарт (PNML). Файловият формат за съхраняване и зареждане на мрежи на Петри е разширяема чрез използването на XSLT, по подразбиране е PNML.