Wyślij emailem: CPN Tools-Assisted Simulation and Verification of Nested Petri Nets