Minimum Initial Marking Estimation in Labeled Petri Nets With Unobservable Transitions Based on Minimal Explanations | IEEE Journals & Magazine | IEEE Xplore