A Petri nets graphic method of reduction using birth-death processes | IEEE Conference Publication | IEEE Xplore