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 December 2010
Abstract
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 .