Artifacts using Bigraph Framework Visualization (4)

Sort by:Popular▼

✓Popular✓Newest

Converter module of the Bigraph Framework. Supports various transformation of bigraphs into other model representations.

The simulation module provides bigraph matching and rewriting capabilities for implementing bigraphical reactive systems. It includes a model checker and an algorithm for canonical string encoding of bigraphs.

A library for the Bigraph Toolkit Suite ecosystem providing reusable testing utilities for bigraph-driven applications.

The bigraph model provider is a library that provides common interfaces for data source/data sink infrastructures for native bigraphical applications. Generally, it provides structural facilities to transport (supply and store) bigraphical models. It defines a generic and flexible class hierarchy to integrate a wide range of data sources.