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

Annuncio pubblicitario

  • Rating:
  • Licenza:
  • Freely Distributable
  • Prezzo:
  • FREE
  • Nome editore:
  • James D Bloom
  • Sito web dell'editore:

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

Pyvisa.

PyVisa è un pacchetto Python che fornisce supporto per l'architettura del software di strumento virtuale. ...

277

Scarica

Visualizzatore geotiff

Geotiff Viewer è un semplice spettatore per i file geotiff, che sono immagini raster georeferenziati, tipicamente utilizzate per le mappe. ...

807

Scarica

Syfi.

A Biblioteca C ++ costruita sulla parte superiore della Biblioteca Math simbolica Ginac. ...

172

Scarica