## bigrapher

`bigrapher`

is a command-line tool to compute or simulate the transition system of a BRS and export it to the stochastic model checker for verification. It supports bigraphs with sharing, stochastic and probabilistic reaction rules, rule priorities, graphical output and predicate checking.

#### References

- M. Sevegnani and M. Calder
*Bigraphs with sharing, Theoretical Computer Science, Volume 577, pp 43-73, Elsevier, 2015* - M. Sevegnani and M. Calder
*BigraphER: rewriting and analysis engine for bigraphs, in proceedings of Computer Aided Verification (CAV 2016), Lecture Notes in Computer Science, Volume 9780 Part II, pp 494-501, Springer, Toronto, Canada, July 2016*

- author
- Michele Sevegnani

- author
- Blair Archibald