The simulation module provides bigraph matching and rewriting capabilities for implementing bigraphical reactive systems. It includes a model checker and an algorithm for canonical string encoding of bigraphs.