Aarhus University Seal / Aarhus Universitets segl

An Implementation of Bigraph Matching

Research output: Working paper/Preprint Working paperResearch


  • Arne John Glenstrup
  • ,
  • Troels Christoffer Damgaard, Denmark
  • 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.
Original languageEnglish
Place of publicationCopenhagen
PublisherIT-Universitetet i København
EditionTR 2010-135
Number of pages30
ISBN (Electronic)978-87-7949-228-8
Publication statusPublished - 2010
Externally publishedYes

See relations at Aarhus University Citationformats

Download statistics

No data available

ID: 73743605