Eigenschaften in Petri-Netzen prüfen

Lebendigkeit eines Petri-Netzes prüfen 
Beschränktheit eines Petri-Netzes prüfen 
Soundness eines Petri-Netzes prüfen