Dbtk: a toolkit for directed bigraphs. We present DBtk, a toolkit for Directed Bigraphs. DBtk supports a textual language for directed bigraphs, the graphical visualization of bigraphs, the calculation of IPO labels, and the calculation of redex matchings. Therefore, this toolkit provides the main functions needed to implement simulators and verification tools.

Keywords for this software

Anything in here will be replaced on browsers that support the canvas element

References in zbMATH (referenced in 2 articles )

Showing results 1 to 2 of 2.
Sorted by year (citations)

  1. Sevegnani, Michele; Calder, Muffy: Bigraphs with sharing (2015)
  2. Bacci, Giorgio; Grohmann, Davide; Miculan, Marino: \ssfDBtk: a toolkit for directed bigraphs (2009)