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.
Newer Version Available
Licenses
| License | URL |
|---|---|
| Apache License, Version 2.0 | https://www.apache.org/licenses/LICENSE-2.0.txt |
| GNU Lesser General Public License, version 2.1 | https://opensource.org/licenses/LGPL-2.1 |
Developers
| Name | Dev Id | Roles | Organization | |
|---|---|---|---|---|
| Dominik Grzelak | dominik.grzelak<at>tu-dresden.de | dgrzelak | Developer | Technische Universität Dresden |
