Tarafından Programlar petrikit.sf.net

PetriKit, Petri Net analizi için modüler bir araç setidir. Temel özelliklerin çıkarılmasını, değişmezlerin çıkarılmasını ve ulaşılabilirlik grafiğinin üretimisağlar. Sonuçlar düz metin, HTML veya XML dosyaları olarak biçimlen