transitionen
net + eigenschaften
7.4 1,2
Begründungen
example net
proof
bounded net