Atur cara mengikut petrikit.sf.net

PetriKit adalah toolkit modular untuk analisis Petri Net. Ia membolehkan pengekstrakan sifat asas, pengekstrakan invariants, dan penjanaan graf kebolehcapaian. Keputusan boleh diformatkan dalam teks biasa, fail HTML atau XML.