| Deutsch | English |
| (der) Ausdruck | expression |
| (die) Aussage | proposition |
| (die) Aussagenlogik | propositional logic |
| (die) Belegung | truth assignment |
| (die) Elementaraussage | atomic term |
| (die) Interpretation | interpretation |
| (die) Formel | formula |
| (der) Term | term |
| (die) Wahrheitswertetabelle | truth table |
| (die) Tautologie | tautology |
| (der) Widerspruch | contradiction |
| (die) konjunktive Normalform (KNF) | conjunctive normal form
(CNF) |
| (die) disjunktive Normalform (DNF) | disjunctive
normal form (DNF) |
| (die) Hornklausel | Horn clause |
| erfüllbar | satisfiable |
| unerfüllbar | unsatisfiable, not satisfiable |
| (die) aussagenlogische Resolution | resolution in
propositional logic |
| (die) prädikatenlogische Resolution | resolution in
predicate logic |
| (der) Markierungsalgorithmus | marking algorithm |
| (die) Resolvente | resolvent |
| (die) Unifikation | unification |
| (der) Unifikator | unifier |
| allgemeinster Unifikator | most general unifier (mgu) |
| (die) Klasse | class |
| (das) Objekt | object |
| (die) Instanz | instance |
| (der) Zustand | state |
| (der) Anwendungsfall | use case |
| (das) Sequenzdiagramm | sequence diagram |
| (das) Kollaborationsdiagramm | collaboration diagram |
| (das) Zustandsübergangsdiagramm | state transition
diagram |
| (das) Aktivitätsdiagramm | activity diagram |
| (das) Komponentendiagramm | component diagram |
| (die) Stelle | place |
| (die) Transition | transition |
| (das) S/T-System | P/T system |
| (der) Netzgraph | net graph |
| (das) Teilnetz | subnet |
| eine Transition schaltet | a transition fires |
| eine aktivierte Transition | an activated transition |
| (die) Erreichbarkeitstabelle | reachability table |
| (der) Erreichbarkeitsgraph | reachability graph |
| schlicht | simple |
| (die) Schlinge | noose |
| (die) Markierung | marking |
| (die) Marke | token |
| (der) Zustand | state |
| (der) Vorbereich | set of direct predecessors |
| (der) Nachbereich | set of direct successors |
| (der) Rand | border |
| transitionsberandet | transition-bordered |
| stellenberandet | place-bordered |
| (der) Konflikt | conflict |
| (der) Kontakt | contact |
| der "verankerte" Synchronieabstand | the "anchored"
synchronic distance |
| der "freie" Synchronieabstand | the "free" synchronic
distance |
DEUTSCH
