Sounds like reachability problem in Petri nets to me?