DBtk: a toolkit for directed bigraphs

Authors:
Giorgio Bacci;Davide Grohmann;Marino Miculan
Affiliations:
Department of Mathematics and Computer Science, University of Udine, Italy;Department of Mathematics and Computer Science, University of Udine, Italy;Department of Mathematics and Computer Science, University of Udine, Italy
Venue:
CALCO'09 Proceedings of the 3rd international conference on Algebra and coalgebra in computer science
Year:
2009

Citing 6
Cited 2

Bigraphs and transitions

POPL '03 Proceedings of the 30th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Transition systems, link graphs and Petri nets

Mathematical Structures in Computer Science
Directed Bigraphs

Electronic Notes in Theoretical Computer Science (ENTCS)
Matching of Bigraphs

Electronic Notes in Theoretical Computer Science (ENTCS)
An Algebra for Directed Bigraphs

Electronic Notes in Theoretical Computer Science (ENTCS)
Reactive systems over directed bigraphs

CONCUR'07 Proceedings of the 18th international conference on Concurrency Theory

A model checker for Bigraphs

Proceedings of the 27th Annual ACM Symposium on Applied Computing
A verification environment for bigraphs

Innovations in Systems and Software Engineering

Quantified Score

Hi-index	0.00

Visualization

Abstract

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.