Definition: Netz

Stellen/Transitions-Netz N = (S, T, F)

das ist ein gerichteter bipartiter Graph

Bezeichnungen:

PS: für wer nur das Skript liest: hier fehlen exakte Definitionen,
diese werden in der Vorlesung an der Tafel entwickelt.



Johannes Waldmann 2011-06-29