Programma's van petrikit.sf.net

PetriKit is een modulaire toolkit voor Petri Net analyse. Het maakt de extractie van basiseigenschappen, extractie van invarianten, en het genereren van bereikbaarheid grafiek. Resultaten kunnen worden opgemaakt in platte tek