State Estimation for DES according to Partially Observed Stochastic Petri Nets. Issue 12 (2016)