Petr Novosad: Reprezentace stavového prostoru hybridních Petriho sítí pomocí grafu pokrytí a metodou rozvinutí - detail akce