TY - GENERIC DO - 10.20944/preprints202409.2044.v1 UR - http://dx.doi.org/10.20944/preprints202409.2044.v1 TI - On Deadlock Analysis and Characterization of Labeled Petri Nets with Undistinguishable and Unobservable Transitions T2 - Preprints AU - Zaghdoud, Amal AU - Li, Zhiwu PY - 2024 DA - 2024/09/25 PB - Preprints