Lmntal. Eine plattformübergreifende, vereinheitliche Sprache und Werkzeug
Jetzt downloaden

Lmntal. Ranking & Zusammenfassung

Lmntal. Stichworte

Graph Sprache Hierarchie

Lmntal. Beschreibung

LMNTAL (ausgesprochen "Elemental") ist eine plattformunabhängige Programmier- und Modellierungssprache, die auf dem hierarchischen Grafikumschreiben basiert. Insbesondere ist LMNTAL eine Substratsprache von diversen Rechenmodellen, insbesondere derjenigen, die Parallelität, Mobilität und Multiset-Umschreibungen, einschließlich (farbiger) Petri-Netzen, Interaktionsnetze, den PI-Calculus, der chemischen abstrakten Maschinen, der Constraints-Handhabungsregeln und BigRAPHs. Es wurde mit Java und C vollständig implementiert. Lavit-Funktionen: · Nondeterministische staatliche Sucht, · LTL-Modell-Checker (unter Verwendung von LMNTAL als Modellierungssprache), · State-Space-Visualizer und · Grafik Visualizer.Die Kombination der oben genannten ist ein einzigartiges Merkmal von LMNTAL und Lavit, das sich dreht Es ist sehr nützlich für das Verständnis und das Debuggen Ihrer Modelle und Programme.LMNTAL ist plattformübergreifend und es funktioniert auf Mac OS X, Windows und Linux.Details Anweisungen zum Installieren und Verwenden des LMNTAL-Dienstprogramms auf Ihrem Mac sind hier verfügbar .

Lmntal. Zugehörige Software