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.roneverhart.com/100-Percent-Sunglasses-SPEEDCRAFT-LE-Money-Mike-HiPER-Silver-Mirror/