Estimation methods for stochastic Petri nets based on standardized time series | IEEE Conference Publication | IEEE Xplore