Platform Independent Petri Net Editor

plattformsoberoende petrinät Editor projekt (rör) skapar och analyserar Petri Nets snabbt, effektivt och på ett effektivt sätt.
En viktig utformning funktion är den modulära tillvägagångssättet för analys, möjliggöra nya moduler som ska skrivas enkelt och kraftfullt, med inbyggda i dataskiktet metoder för standardberäkningar.
Sex analysmoduler finns tillgängliga, inklusive Invariant Analys, stats Space Analysis (dödläget, etc.), och simulering analys och klassificering.
RÖR häftar XML petrinät standard (PNML). Filformatet för att spara och ladda Petri Nets är töjbar genom användning av XSLT, standard är PNML.