@article{202409.2044,
	doi = {10.20944/preprints202409.2044.v1},
	url = {https://doi.org/10.20944/preprints202409.2044.v1},
	year = 2024,
	month = {September},
	publisher = {Preprints},
	author = {Amal Zaghdoud and Zhiwu Li},
	title = {On Deadlock Analysis and Characterization of Labeled Petri Nets with Undistinguishable and Unobservable Transitions},
	journal = {Preprints}
}