Scalable Modeling of Destructive and Non-Destructive Disassembly with Extended Petri Nets for Disassembly Process Planning | Synapse