The BPL Tool: A Tool for Experimenting with Bigraphical Reactive Systems

TR-2011-145, Authors: Espen Højsgaard and Arne John Glenstrup

The BPL Tool: A Tool for Experimenting with Bigraphical Reactive Systems

Espen Højsgaard
Arne John Glenstrup

October 2011

Abstract

We present the BPL Tool, a first implementation of bigraphical reactive systems with binding. The BPL Tool provides manipulation, simulation and visualisation of bigraphs and bigraphical reactive systems, and can be used either through the included web and command line user interfaces or as a programming library.

---

Technical report TR-2011-145 in IT University Technical Report Series, October 2011.

Available as PDF.