Stochastic Petri net evaluation techniques in plant automation: tuning performance indices for distributed applications | IEEE Conference Publication | IEEE Xplore