Initial marking estimation in labeled Petri nets in a probabilistic setting | IEEE Conference Publication | IEEE Xplore