An Implementation of Bigraph Matching
TR-2010-135, Authors: Arne John Glenstrup, Troels Christoffer Damgaard, Lars Birkedal and Espen Højsgaard
An Implementation of Bigraph Matching Arne John Glenstrup Troels Christoffer Damgaard Lars Birkedal Espen Højsgaard
We describe a provably sound and complete matching algorithm for bigraphical reactive systems. The algorithm has been implemented in our BPL Tool, a first implementation of bigraphical reactive systems. We describe the tool and present a concrete example of how it can be used to simulate a model of a mobile phone system in a bigraphical representation of the polyadic π calculus.
Technical report TR-2010-135 in IT University Technical Report Series, December 2010.
Available as PDF .