Petri nets provide executive facilities for simulation of causality. non-determinism and parallelism in discreet systems. Since they are a mathematical model in substance. they offer theory. https://www.bekindtopets.com/flash-find-Winmau-Firestorm-Steel-Tip-Darts-24gm-special-save/