This project serves as a reference implementation of an abstract syntax specification for bigraphs.
-
Updated
Feb 12, 2024 - Java
This project serves as a reference implementation of an abstract syntax specification for bigraphs.
BDSL is a DSL to specify and simulate bigraphs, among other things. This project contains the grammar and language server protocol.
Bigellor is a web-based editor for the visual modeling of bigraphs.
This is a project skeleton for using Bigraph Framework. This project provides a quick introduction on how to setup and configure a Maven project.
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.
A framework written in Java for the creation and simulation of bigraphs.
Add a description, image, and links to the bigraphs topic page so that developers can more easily learn about it.
To associate your repository with the bigraphs topic, visit your repo's landing page and select "manage topics."