Si tratta dell'app Linux denominata PetriKit: Petri Net Analysis Toolkit, eseguibile online su Linux, la cui ultima versione può essere scaricata come PetriKit-1.0.zip. Può essere eseguita online sul provider di hosting gratuito OnWorks per workstation.
Scarica ed esegui online questa app chiamata PetriKit: Petri Net Analysis Toolkit da eseguire su Linux online con OnWorks gratuitamente.
Segui queste istruzioni per eseguire questa app:
- 1. Scaricata questa applicazione sul tuo PC.
- 2. Entra nel nostro file manager https://www.onworks.net/myfiles.php?username=XXXXX con il nome utente che desideri.
- 3. Carica questa applicazione in tale file manager.
- 4. Avviare l'emulatore online OnWorks Linux o Windows online o l'emulatore online MACOS da questo sito Web.
- 5. Dal sistema operativo OnWorks Linux che hai appena avviato, vai al nostro file manager https://www.onworks.net/myfiles.php?username=XXXXX con il nome utente che desideri.
- 6. Scarica l'applicazione, installala ed eseguila.
PetriKit: Petri Net Analysis Toolkit da eseguire online su Linux
Ad
DESCRIZIONE
PetriKit è un toolkit modulare per l'analisi Petri Net. Consente l'estrazione di proprietà di base, l'estrazione di invarianti e la generazione di grafici di raggiungibilità. I risultati possono essere formattati in file di testo, HTML o XML.Pubblico
Utenti finali avanzati, istruzione, scienza/ricerca
Interfaccia utente
Riga di comando
Linguaggio di programmazione
Python
Questa è un'applicazione che può anche essere scaricata da https://sourceforge.net/projects/petrikit/. È stato ospitato in OnWorks per essere eseguito online nel modo più semplice da uno dei nostri sistemi operativi gratuiti.
