Minimum Initial Marking Estimation in Labeled Petri Nets with Unobservable Transitions