Repositories list

• bigraphs.bigraph-ecore-metamodel

  Public
  This project serves as a reference implementation of an abstract syntax specification for bigraphs.

  ecoreecore-metamodelbigraphs+ 3javamodelingspecification

  Java

  •0•0•0•0•Updated Dec 15, 2024Dec 15, 2024

• bigraphs.bigraph-framework

  Public
  A framework written in Java for the creation and simulation of bigraphs.

  visualizationjavaconverter+ 5builderframeworksimulationmodel-checkingbigraphs

  Java

  •

  Apache License 2.0

  •0•1•0•0•Updated Dec 13, 2024Dec 13, 2024

• .github

  Public
  0•0•0•0•Updated Dec 13, 2024Dec 13, 2024

• bigraphs.bdsl-interpreter-parent

  Public
  An interpreter for BDSL | Grammar: https://github.com/bigraph-toolkit-suite/bigraphs.bdsl-core-elements

  Java

  •

  Apache License 2.0

  •0•0•0•0•Updated Dec 12, 2024Dec 12, 2024

• bigraphs.bdsl-core-elements

  Public
  BDSL is a DSL to specify and simulate bigraphs, among other things. This project contains the grammar and language server protocol.

  dslxtextxtext-grammar+ 1bigraphs

  Java

  •0•0•0•0•Updated Dec 12, 2024Dec 12, 2024

• bigraphs.ide.bigellor

  Public
  Bigellor is a web-based editor for the visual modeling of bigraphs.

  springmodelingvisualisation+ 1bigraphs

  JavaScript

  •

  Apache License 2.0

  •0•0•0•0•Updated Dec 12, 2024Dec 12, 2024

• spring-data-cdo

  Public
  Spring repository support for Connected Data Objects (CDO) - a distributed shared model of Eclipse EMF.

  spring-dataeclipsespring-framework+ 3cdoeclipse-cdospring-data-cdo

  Java

  •

  Apache License 2.0

  •0•1•0•0•Updated Dec 12, 2024Dec 12, 2024

• Project-Skeleton-for-Bigraph-Framework

  Public
  This is a project skeleton for using Bigraph Framework. This project provides a quick introduction on how to setup and configure a Maven project.

  template-projectbigraphsjava

  Java

  •0•0•0•0•Updated Dec 11, 2024Dec 11, 2024

• bigraphs.grgen-bigraphs

  Public
  BiGGer is a transformation tool and library that translates bigraphical models and rules to GrGen.NET-compatible files. It enables bigraph rewriting using GrGen.NET.

  graph-rewritinggrgengraph-rewriting-library+ 3graph-transformationbigraphsgrgen-net

  Java

  •

  Apache License 2.0

  •0•0•0•0•Updated Jun 11, 2024Jun 11, 2024

• bigraphs-by-examples.vendingmachine-webservice

  Public
  Object-oriented Bigraphs

  vending-machineobject-oriented-programmingcdo+ 1bigraphs

  Java

  •

  Apache License 2.0

  •1•0•0•0•Updated Mar 12, 2024Mar 12, 2024

• bigraphs.bigred-core

  Public
  Big Red is a graphical development environment for bigraphs and this projects contains only the core bigraph model.

  bigraphbig-redbigred+ 1bigred-core

  Java

  •

  Eclipse Public License 2.0

  •0•0•0•0•Updated Oct 29, 2023Oct 29, 2023

• jlibbig

  Public
  A Java library for bigraphical reactive systems.

  Java

  •

  GNU Lesser General Public License v2.1

  •4•0•0•0•Updated Jan 31, 2023Jan 31, 2023