A State-Equation-Based Backward Approach to a Legal Firing Sequence Existence Problem in Petri Nets

Liang Qi, Yue Su, MengChu Zhou, Abdullah Abusorrah. A State-Equation-Based Backward Approach to a Legal Firing Sequence Existence Problem in Petri Nets. IEEE Transactions on Systems, Man, and Cybernetics, Part A, 53(8):4968-4979, 2023. [doi]

Abstract

Abstract is missing.