Calculating place capacity for Petri nets using unfoldings | IEEE Conference Publication | IEEE Xplore