Describir: Spätná analýza stavových grafov Petriho sietí