KfK, Ausgabe 5279

A.sl abstrakter Datentypen algebraischen Spezifikation algebraisches System andalso atomaren Formeln Auswertung Beispiel Benutzer beschreiben beschrieben Beschriftung Beschriftungselemente bool bzgl daher decls definieren definiert Definition Dialogfenster Editor elem Elemente empty erlaubt false Familie FIFO folgenden formalen Sprache formalen Summen formula freien Variablen Funktor gemäß Gestalt Gleichungen heißt infix innerhalb Instantiierung Kanten Kantenbeschriftung Konnektoren Konstanten Konstrukt läßt list MARK(NSPEC,A Markierung maxf Menge Menuepunkt ml_type ML-Signatur Modell module MONOID MULT(A Multimengen muß Namen natürlichen Zahlen Netz Netz-Klasse Netz-Klasse bzw Netz-Modul Objekte Operation Operatoren Options Ordnungsrelation Parameter partiellen Operatoren Petri-Netz Port Port-Transition Prädikate Prädikatenlogik push Quantoren Realisation Realisierung Schalten Schlüsselwort selektiert Semantik Signatur SMARAGD SNL-Modells SNL-Netz-Spezifikation SNL-Spezifikationen SNL-System SNL-Systems sort const sort_name sort_type spec sort Spezifikation Spezifikationsteil Sprache stack STACKNAT Stelle string succ Syntax Systems Tag-Region term Transition true Tupel union unserer Unterspezifikationen verwendet Verwendung w:fifo weiter wobei wollen zugehörigen zugeordnet zunächst