BigraphER (Bigraph Evaluator & Rewriting) is an implementation of Robin Milner’s Bigraphical Reactive System (BRS). Its main features include:
BigraphER is research software and has been used in many Publications.
The easiest way to get started with BigraphER is using the pre-compiled binary image which should work on Linux-like systems. Note: in some cases you will need to make the binary executable using
For other system variants, we recommend using the prepackaged Docker available using the following command:
and run using
BigraphER can be invoked within the container using the command
If you do not have access to Docker, or would like to build from source, please visit the Source Repository.
We would love to hear how you are using our bigraph tools. Please do drop us a line to let us know what you are working on, would like to collaborate, or if you need any help!
Contact Details: Michele [dot] Sevegnani [at] glasgow [dot] ac [dot] uk, Blair [dot] Archibald [at] glasgow [dot] ac [dot] uk