Least-Cost Transition Firing Sequence Estimation in Labeled Petri