Welcome to the Bigraph Toolkit Suite (BTS). BTS aims to be a comprehensive toolkit, offering a range of extensible model-driven integration frameworks, languages, tools and IDEs. Its primary focus is on facilitating the manipulation and interchange of bigraphical models, along with enabling the simulation and model checking of bigraphical reactive systems. All of these functionalities are designed to be platform-agnostic and implementation-independent.
Explore Toolkit Components Go to GitHubBTS, i.e., any of its constituents listed below, is licensed according to the terms of the Apache License, Version 2.0.
Visit the whole Bigraph Toolkit Suite at GitHubBTS supports many modeling and programming approaches, all unified by a common metamodel. Regardless of the approach used, the underlying metamodel ensures interoperability, serving as a shared data model.