Minimum Initial Marking Estimation in Labeled Petri Nets Using Minimum Token Number Prediction - Yue, H.; Xu, Y.; Hu, H.; Wu, W.; Li, L. (IEEE Transactions on Automatic Control, Automatic Control, IEEE Transactions on, IEEE Trans. Automat. Contr., 2025)