Module implementation 

Different implementations of bigraphs.

Modules

node_bigraph_wrapper

A bigraph wrapper for a node-centric bigraph. This implementation stores a vector to map nodes to their mirrors.