Questa è l'app di Windows denominata PetriNetExec: Java Embeddable Petri Nets la cui ultima versione può essere scaricata come PetriNetExec-0.1.3.77.zip. Può essere eseguito online nel provider di hosting gratuito OnWorks per workstation.
Scarica ed esegui online questa app chiamata PetriNetExec: Java Embeddable Petri Nets 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. Avvia qualsiasi emulatore online OS OnWorks da questo sito Web, ma migliore emulatore online Windows.
- 5. Dal sistema operativo OnWorks Windows 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 e installala.
- 7. Scarica Wine dai repository software delle tue distribuzioni Linux. Una volta installato, puoi quindi fare doppio clic sull'app per eseguirli con Wine. Puoi anche provare PlayOnLinux, un'interfaccia fantasiosa su Wine che ti aiuterà a installare programmi e giochi Windows popolari.
Wine è un modo per eseguire il software Windows su Linux, ma senza Windows richiesto. Wine è un livello di compatibilità Windows open source in grado di eseguire programmi Windows direttamente su qualsiasi desktop Linux. Essenzialmente, Wine sta cercando di re-implementare abbastanza Windows da zero in modo che possa eseguire tutte quelle applicazioni Windows senza effettivamente bisogno di Windows.
PetriNetExec: reti Petri incorporabili Java
Ad
DESCRIZIONE
In breve, PetriNetExec è una libreria Java open source che ti consente di incorporare Petri Nets nella tua applicazione Java.
Usando PetriNetExec puoi definire luoghi e transizioni, collegarli usando archi e inibitori, definire la marcatura iniziale e quindi attivare gli eventi e vedere come i token scorrono nella rete.
* PetriNetExec non fornisce una GUI per la modifica della rete né lo fornirà nel prossimo futuro. Non è proprio una caratteristica :-) ma a quelli di voi in grado di far fronte a questa notizia consiglio di leggere oltre;
* Le reti di Petri vengono create con PetriNetExec scrivendo codice Java e utilizzando l'API fornita;
* PetriNetExec fornisce un meccanismo di callback semplice ma potente che consente di fare effettivamente qualcosa quando gli eventi vengono attivati e lo stato della rete sta cambiando.
* PetriNetExec è integrabile nella tua applicazione Java. Ciò significa che puoi creare la tua applicazione e aggiungervi reti di Petri.
* PetriNetExec è open-source.
Pubblico
Scienza/Ricerca, Istruzione, Sviluppatori
Interfaccia utente
Non interattivo (Demone)
Linguaggio di programmazione
Java
Questa è un'applicazione che può anche essere scaricata da https://sourceforge.net/projects/petrinetexec/. È stato ospitato in OnWorks per essere eseguito online in modo più semplice da uno dei nostri sistemi operativi gratuiti.
