Programmi di petrikit.sf.net

PetriKit è un toolkit modulare per l'analisi petri net. Permette l'estrazione di proprietà di base, l'estrazione di invarianti e la generazione di grafo di raggiungibilità. I risultati possono essere formattati in file di tes