BigraphER

BigraphER (Bigraph Evaluator & Rewriting) is an implementation of the Bigraphical Reactive System (BRS) with an extension to bigraph with sharing. Its main features are:

native support for both bigraphs and bigraphs with sharing
efficient matching engine based on SAT
probabilistic and stochastic reaction rules
rule priorities
conditional rules and rules with instantiation maps
parameterised controls
graphical output
JSON serialisation and deserialisation
exhaustive state space exploration and simulation
export to probabilistic model checker PRISM
predicate checking
model validation with static warnings
code formatter

To cite BigraphER, please use the most recent tool paper, from CAV 2016:

BigraphER: rewriting and analysis engine for bigraphs
Michele Sevegnani and Muffy Calder
in proceedings of Computer Aided Verification (CAV 2016), Lecture Notes in Computer Science, volume 9780 Part II, pp 494--501, Springer, Toronto, Canada, July 2016
[pdf] [doi] [bib]

Documentation

BigraphER documentation
Tutorial
Grammar reference
Man pages:
bigraph library (OCaml API) and its tutorial

Download

BigraphER 2.0.0-alpha is distributed as dependency-free static binaries and as a Docker image.

Static binaries

Docker image

A Docker image can be downloaded with the following command:

sudo docker pull mseve/bigrapher:2.0.0-alpha

The entry point of the image is the bigrapher binary itself, so mount your working directory at /bigrapher and invoke the subcommand directly:

docker run --rm -v "$PWD":/bigrapher mseve/bigrapher:2.0.0-alpha validate model.big

Source

The source code is available in the git repository; development currently takes place on the clean-v2 branch.

Contributors

BigraphER is developed by Michele Sevegnani and Blair Archibald, with contributions from Paulius Dilkas, Gaspard Dannet, Ricardo Almeida, Kyle Burns, Roy Ang and Susmoy Das.