Skip to main content
SpringerLink
Log in
Book cover

International Conference on Algebra and Coalgebra in Computer Science

CALCO 2009: Algebra and Coalgebra in Computer Science pp 413–422Cite as

DBtk: A Toolkit for Directed Bigraphs

  • Conference paper

Part of the book series: Lecture Notes in Computer Science ((LNTCS,volume 5728))

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.

This is a preview of subscription content, log in via an institution.

Chapter
USD   29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD   39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD   54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Learn about institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Birkedal, L., Damgaard, T.C., Glenstrup, A.J., Milner, R.: Matching of bigraphs. ENTCS 175(4), 3–19 (2007)

    MATH  Google Scholar 

  2. Grohmann, D., Miculan, M.: Directed bigraphs. In: Proc. XXIII MFPS. ENTCS, vol. 173, pp. 121–137. Elsevier, Amsterdam (2007)

    Google Scholar 

  3. Grohmann, D., Miculan, M.: Reactive systems over directed bigraphs. In: Caires, L., Vasconcelos, V.T. (eds.) CONCUR 2007. LNCS, vol. 4703, pp. 380–394. Springer, Heidelberg (2007)

    Chapter  Google Scholar 

  4. Grohmann, D., Miculan, M.: An algebra for directed bigraphs. In: Proceedings of TERMGRAPH 2007. ENTCS, vol. 203(1), pp. 49–63. Elsevier, Amsterdam (2008)

    Google Scholar 

  5. Jensen, O.H., Milner, R.: Bigraphs and transitions. In: Proc. POPL, pp. 38–49 (2003)

    Google Scholar 

  6. Leifer, J.J., Milner, R.: Transition systems, link graphs and petri nets. Mathematical Structures in Computer Science 16(6), 989–1047 (2006)

    Article  MathSciNet  MATH  Google Scholar 

  7. Milner, R.: Bigraphical reactive systems. In: Larsen, K.G., Nielsen, M. (eds.) CONCUR 2001. LNCS, vol. 2154, pp. 16–35. Springer, Heidelberg (2001)

    Chapter  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Department of Mathematics and Computer Science, University of Udine, Italy

    Giorgio Bacci, Davide Grohmann & Marino Miculan

Authors
  1. Giorgio Bacci
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Davide Grohmann
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Marino Miculan
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Department of Computer Science, University of Leicester, University Road, LE1 7RH, Leicester, UK

    Alexander Kurz

  2. Dipartimento di Matematica e Informatica, Università di Udine, via delle Scienze, 206, 33100, Udine, Italy

    Marina Lenisa

  3. Faculty of Mathematics, Informatics and Mechanics, Warsaw University, ul. Banacha 2, 02-097, Warsaw, Poland

    Andrzej Tarlecki

Rights and permissions

Reprints and permissions

Copyright information

© 2009 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Bacci, G., Grohmann, D., Miculan, M. (2009). DBtk: A Toolkit for Directed Bigraphs. In: Kurz, A., Lenisa, M., Tarlecki, A. (eds) Algebra and Coalgebra in Computer Science. CALCO 2009. Lecture Notes in Computer Science, vol 5728. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-03741-2_28

Download citation

  • DOI: https://doi.org/10.1007/978-3-642-03741-2_28

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-642-03740-5

  • Online ISBN: 978-3-642-03741-2

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation