Symbolic Domains and Reachability for Nets with Trajectories. - Loïc Hélouët; Prerak Contractor (Petri Nets, 2024)