A bottom-up algorithm for state-space size estimation of Petri nets | IEEE Conference Publication | IEEE Xplore