Big Red: A Development Environment for Bigraphs

Research output: Journal Article or Conference Article in JournalJournal articleResearchpeer-review

View graph of relations

We present Big Red, a visual editor for bigraphs and bigraphical reactive systems, based upon Eclipse. The editor integrates with several existing bigraph tools to permit simulation and model-checking of bigraphical models. We give a brief introduction to the bigraphs formalism, and show how these concepts manifest within the tool using a small motivating example bigraphical model developed in Big Red.
Original languageEnglish
JournalE A S S T Electronic Communications
Number of pages5
Publication statusPublished - 28 Sep 2013
EventFourth International Workshop on Graph Computation Models: - Universität Bremen, Bremen, Germany
Duration: 28 Sep 201229 Sep 2012
Conference number: 4th


WorkshopFourth International Workshop on Graph Computation Models
LocationUniversität Bremen
Internet address

Bibliographical note

Ufuldstændig publiceringskanal, mangler publisher, journal, volume, ISBN, ... (jcg, 270313), ditto (jcg,11/08/13) bed en af forfatterne opdatere (26/8/13)

Research Activities (1)

  1. Fourth International Workshop on Graph Computation Models

    Activity: Participating in or organising an event typesOrganisation and participation in workshop, seminar, course

ID: 80253944