Thomas Chatain, Stefan Haar, Loïg Jezequel, Loïc Paulevé, Stefan Schwoon: Characterization of Reachable Attractors Using Petri Net Unfoldings. CMSB 2014: 129-142