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