bigraph

a python implementation of Robin Milner's bigraph formalism

• Free software: BSD-3-Clause
• Documentation: https://prismofeverything.github.io/bigraph

Usage

This library is a python interface to bigraph-tools from the Glasgow Bigraph Team, and mediates the creation, execution, and parsing of results from that suite of tools.

Introduction

Introduction to Bigraphs: a brief introduction to bigraphs in general and their programmatic API as implemented by this library.

Install on Ubuntu

First you have to install bigraph-tools, which requires opam and dune.

To install opam:

(ubuntu)

 sudo add-apt-repository ppa:avsm/ppa
 sudo apt update
 sudo apt install opam --upgrade
 sudo apt install minisat cppo

(arch)

pacman -S opam

Then to install dune

opam init
opam install dune

The various requirements for bigraph-tools are:

opam install cmdliner.1.0.4 jsonm menhir dune-configurator mtime

Clone the bigrapher-tools repo:

 git clone https://bitbucket.org/uog-bigraph/bigraph-tools.git
 cd bigraph-tools

In the dune-project file update the following line:

(using menhir 1.0)

to

(using menhir 2.0)

Then build the bigraph-tools:

dune build --profile=release