Library bigraph

The entry point for this library is module Bigraph.