A rich framework for modeling, simulating, and verifying bigraphical reactive systems.
Version2.3.5compared with

Version Details