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 testo normale, HTML o XML.
cronologia delle versioni
- Versione 1.0 pubblicato il 2008-01-17
Diverse correzioni e aggiornamenti - Versione 1.0 pubblicato il 2008-01-17
Dettagli del programma
- Categoria: Istruzione > Altro
- Editore: petrikit.sf.net
- Licenza: Gratuito
- Prezzo: N/A
- Versione: 1.0
- Piattaforma: windows