A stochastic Petri net synthesis method with known lower bound of the second dominant eigenvalue | IEEE Conference Publication | IEEE Xplore