Non-reachability in Petri Nets with Delaying Places | IEEE Conference Publication | IEEE Xplore