nwn-snakes is a customized version of the snakes library by Franck Pommereau, adding support for the Nets within Nets modelling method.
- petrisim, Nets within Nets simulator for Petri Nets modeled using nwn-snakes.
- bisdl2, the companion high-level modeling language and compiler to nwn-snakes syntax.
- SNAKES homepage (documentation, tutorial, API reference, ...)