DBtk: a Toolkit for Directed Bigraphs

Giorgio Bacci; Davide Grohmann; Marino Miculan

doi:10.1007/978-3-642-03741-2_28

DBtk: a Toolkit for Directed Bigraphs

Giorgio Bacci, Davide Grohmann, Marino Miculan

Publikation: Bidrag til tidsskrift › Konferenceartikel i tidsskrift › Forskning › peer review

20 Citationer (Scopus)

99 Downloads (Pure)

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.

Originalsprog	Engelsk
Bogserie	Lecture Notes in Computer Science
Vol/bind	5728
Sider (fra-til)	413-422
ISSN	0302-9743
DOI	https://doi.org/10.1007/978-3-642-03741-2_28
Status	Udgivet - 2009
Udgivet eksternt	Ja
Begivenhed	Conference on Algebra and Coalgebra: CALCO-tools - Udine, Italien Varighed: 6 sep. 2009 → 6 sep. 2009 Konferencens nummer: 3

Konference

Konference	Conference on Algebra and Coalgebra
Nummer	3
Land/Område	Italien
By	Udine
Periode	06/09/2009 → 06/09/2009

Adgang til dokumentet

10.1007/978-3-642-03741-2_28

db-toolkitIndsendt manuskript, 311 KB

AUB Link

Søg efter materialet i Aalborg Universitetsbiblioteks søgemaskine

Citationsformater

@inproceedings{e0abed5683a646cfb14c103269b15eb3,

title = "DBtk: a Toolkit for Directed Bigraphs",

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.",

author = "Giorgio Bacci and Davide Grohmann and Marino Miculan",

year = "2009",

doi = "10.1007/978-3-642-03741-2_28",

language = "English",

volume = "5728",

pages = "413--422",

journal = "Lecture Notes in Computer Science",

issn = "0302-9743",

publisher = "Physica-Verlag",

note = "Conference on Algebra and Coalgebra : CALCO-tools, CALCO-tools 2009 ; Conference date: 06-09-2009 Through 06-09-2009",

}

TY - GEN

T1 - DBtk: a Toolkit for Directed Bigraphs

AU - Bacci, Giorgio

AU - Grohmann, Davide

AU - Miculan, Marino

N1 - Conference code: 3

PY - 2009

Y1 - 2009

N2 - 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.

AB - 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.

U2 - 10.1007/978-3-642-03741-2_28

DO - 10.1007/978-3-642-03741-2_28

M3 - Conference article in Journal

SN - 0302-9743

VL - 5728

SP - 413

EP - 422

JO - Lecture Notes in Computer Science

JF - Lecture Notes in Computer Science

T2 - Conference on Algebra and Coalgebra

Y2 - 6 September 2009 through 6 September 2009

ER -

DBtk: a Toolkit for Directed Bigraphs

Abstract

Konference

Adgang til dokumentet

AUB Link

Fingeraftryk

Citationsformater