Eigenschaften von Petri-Netzen

Eigenschaften eines Petri-Netzes 
Verklemmungsfreiheit eines Petri-Netzes 
Lebendigkeit eines Petri-Netzes 
$k$-beschränktes Netz 
sicheres Petri-Netz 
Reversibelität eines Netzes 
Beschänktheit eines Netzes 
Soundness eines Netzes 
Variationen von Soundness