Marking estimation of Time Petri nets with unobservable transitions | IEEE Conference Publication | IEEE Xplore