@article{Su:2025,
author
=
"Y.Su and M.Zhou and L.Qi and R.Wiśniewski",
title
=
"A Reachability-Decidable Petri Net Modeling Method for Discrete Event Systems",
journal
=
"IEEE Transactions on Systems, Man, and Cybernetics: Systems",
volume
=
"Vol. 55",
number
=
"iss. 1",
pages
=
"453--464",
year
=
"2025",
}