Text this: CPN Tools-Assisted Simulation and Verification of Nested Petri Nets