Lmntal. Un linguaggio e uno strumento unificanti a piattaforma
Scarica ora

Lmntal. Classifica e riepilogo

Lmntal. Tag

grafico linguaggio Gerarchico

Lmntal. Descrizione

LMNTAl (pronunciato "Elemental") è un linguaggio di programmazione e modellazione indipendente della piattaforma basata sulla riscrittura del grafico gerarchico. Nello specifico, LMNTAl è un linguaggio del substrato di diversi modelli computazionali, in particolare quelli che affrontano la concorrenza, la mobilità e la riscrittura di multiset, comprese le reti di Petri di Petri, le reti interazioni, il PI-calcolo, le macchine astratte chimiche, le regole di gestione dei vincoli e i bigraph. IT FeaturesLMNTAl è stato completamente implementato con Java e C. Varie caratteristiche uniche sono state integrate in Lavit (strumenti visivi LMNTAl), un ambiente di sviluppo integrato di LMNTAl. Caratteristiche di Lavit: · Ricerca di spazio a stato nonerministico, · Gestione del modello LTL (utilizzando LMNTAl come lingua di modellazione), · Visualizzazione dello spazio-spazio e · Visualizzazione del grafico. La combinazione di cui sopra è una caratteristica unica di LMNTAl e Lavit, che si trasforma Fuori per essere molto utile per la comprensione e il debug dei tuoi modelli e programmi.LMNTAl è la piattaforma multipiattaforma e funziona su Mac OS X, Windows e Linux.Detailed Istruzioni su come installare e utilizzare l'utilità LMNTAl sul tuo Mac sono disponibili qui .

Lmntal. Software correlato