A Backward Algorithm to Determine the Existence of Legal Firing Sequences in Ordinary Petri Nets

Yue Su, Liang Qi, MengChu Zhou. A Backward Algorithm to Determine the Existence of Legal Firing Sequences in Ordinary Petri Nets. IEEE Robotics and Automation Letters, 8(6):3190-3197, June 2023. [doi]

Abstract

Abstract is missing.