Least-Cost Transition Firing Sequence Estimation in Labeled Petri Nets | IEEE Conference Publication | IEEE Xplore