2023
A Backward Algorithm to Determine the Existence of Legal Firing Sequences in Ordinary Petri Nets
RA-L 2023
Petri nets (PNs) are a graphical and mathematical tool to model various event-driven automated systems. Reachability is a fundamental property of PNs. The existence of a non-negative integer solution (NIS) to a state equation is a necessary but not sufficient condition for determining the reachabili