Program menurut petrikit.sf.net

PetriKit adalah toolkit modular untuk analisis Petri Net. Ini memungkinkan ekstraksi sifat dasar, ekstraksi invarian, dan generasi grafik keterjangkauan. Hasil dapat diformat dalam file teks biasa, HTML atau XML.