| Platform Independent Petri Net Editor Platform Independent Petri Net Editor è uno strumento per creare e analizzare le reti di Petri. |
Scarica ora |
Platform Independent Petri Net Editor Classifica e riepilogo
- Licenza:
- Freely Distributable
- Nome editore:
- James D Bloom
Platform Independent Petri Net Editor Tag
Platform Independent Petri Net Editor Descrizione
La piattaforma indipendente di Petri Net Editor è uno strumento per creare e analizzare le reti di Petri. La piattaforma Independent Petri Net Editor Project (tubo) crea e analizza le reti di Petri rapidamente, in modo efficiente ed efficace. Una funzione di progettazione chiave è l'approccio modulare adottato per l'analisi, abilitando nuovi moduli da scrivere facilmente e potentemente, utilizzando i metodi di livello dati integrati per calcoli standard. Sono forniti sei moduli di analisi, inclusa l'analisi invariante, l'analisi dello stato-spazio (deadlock, ecc.) E analisi di simulazione e analisi della simulazione e classificazione. Aderende allo standard XML Petri Net (PNML). Il formato del file per il salvataggio e il caricamento delle reti di Petri è estensibile attraverso l'uso di XSLT, il predefinito è PNML.
Platform Independent Petri Net Editor Software correlato