Department of Chemistry, University of British Columbia, Okanagan Campus, 3247 University Way, Kelowna V1V 1V7, Canada ...

Abstract: 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 ...