Improving the calculus of the marking graph of petri net with BDD like structure | IEEE Conference Publication | IEEE Xplore