petrisim is a simple Petri Nets simulator supporting Nets within Nets formalism. It relies on the nwn-snakes library.