Hefeng Chen, Naiqi Wu, Zhiwu Li, Ting Qu. Decision on Maximal Permissiveness of Linear Constraints via Structural Analysis of a Subclass of Petri Nets. IEEE Transactions on Systems, Man, and Cybernetics, Part A, 51(7):4347-4358, 2021. [doi]
Abstract is missing.