Downloads

LibBig

a library for Bigraphs and Bigraphical Reactive Systems

Bigraphs and Bigraphical Reactive Systems are a modern, graphical calculus for the description of the syntax and semantics of systems in terms of the orthogonal notions of connectivity and locality but have been successfully applied also in other fields such as knowledge representation and manipulation.

LEARN MORE ABOUT LIBBIG

LIBRARY CORE CLASSES AND INTERFACES

The core library provides the main infrastructure of LibBig, the abstractions shared by bigraphs and their main extensions and a default implementation of BRS (with abstract names). Ordinary and weighted matches are implemented as constraint satisfaction problems which are then solved by means of the CHOCO Solver (version 2.x).

Class files

Source files

Documentation

Choco

BIGMC INTEROPERABILITY

Tools for basic handling of BRSs complaint with BigMC (a bigraphical model checker). The package includes import/export utilities targeting BiGMC text format. The beaver library is required.

Class files

Source files

Documentation

UDLANG

Tools targeting UDLang, a text format for encoding bigraphical reactive systems. The beaver library is required.

Class files

Source files

Documentation