Reachability Analysis and Modeling of Dynamic Event Networks