Analysis for one-place unbounded Petri nets based on modified reachability trees | IEEE Conference Publication | IEEE Xplore