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

Yue SuLiang QiMengChu Zhou
Published in: IEEE Robotics Autom. Lett. (2023)