Invia software
  1. Casa
  2. Windows
  3. Altro
  4. PetriKit: Petri Net Analysis Toolkit
  5. Download

PetriKit: Petri Net Analysis Toolkit 1.0

Licenza: Gratuito ‎Dimensioni del file: N/A
‎Valutazione utenti: 4.0/5 - ‎1 ‎Voti

Circa PetriKit: Petri Net Analysis Toolkit

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.

Programmi correlati

  • Vocatra Gratuito

    Vocatra è un trainer di vocabolario basato su console. Ci vogliono uno o più file di vocabolario, ti interroga per ogni parola e ti consente di provare a dare la risposta corretta.

  • While Interpreter Gratuito

    WhileInterpreter è un interprete per il linguaggio di programmazione WHILE utilizzato a scopo di apprendimento. Ha pochi costrutti e una semantica facile.

  • RubyMoss Gratuito

    RubyMoss è un framework basato sul Web scritto con Ruby on Rails, destinato a supportare tutte le analisi e l'elaborazione dei dati per la spettroscopia Mossbauer. Scritto sotto licenza BSD.

  • Peter Pig s Money Counter Prova gratuita

    Con l'aiuto del saggio Peter Pig, i bambini praticano lo smistamento e il conteggio delle monete per guadagnare denaro per le loro "banche", imparando al contempo fatti divertenti sulla valuta degli Stati Uniti. Imparano a ri

  • Nfrequencies Gratuito

    Eseguire analisi multivariate basate sulle frequenze di nucleotidiche dai dati della sequenza del DNA.

  • NetBuilder' - Apostrophe Gratuito

    NetBuilder' è uno strumento per costruire, visualizzare e simulare reti biologiche multistrato, strutturate come reti di Petri gerarchiche. Ha un simulatore stocastico integrato, ma fornisce anche un facile accesso ad altre s

  • DFWiki Gratuito

    DFWiki è un modulo wiki progettato per funzionare all'interno dell'ambiente Moodle LMS. È stato progettato per prendere in vantaggio le funzionalità wiki per l'e-learning, la creazione di contenuti e i progetti di lavoro coll

  • lib3d_mec_GiNaC Gratuito

    lib_3d_mec_ginac è una libreria per dinamiche simboliche di sistemi multicorpo. Può essere utilizzato autonomamente, anche se sarà il sostituto del kernel della futura versione 3.0 di 3d_mec (http://www.imac.unavarra.es/3d_me

  • JCadServices Gratuito

    Team di invio congiunto che sviluppa un'interfaccia CORBA che consente ai sistemi CAD meccanici di scambiare geometria e topologia.

  • GEGIS Gratuito

    Crea WebGIS basato su Google Earth. Solo 7 passaggi per compligare un'applicazione WebGIS!