Text this: Model Identification of Unobservable Behavior of Discrete Event Systems Using Petri Nets