Bigraphs are a versatile modelling formalism that allows easy expression of placement and connectivity relations in a graphical format. System evolution is user defined as a set of rewrite rules. This paper presents a practical, yet detailed guide to developing, executing, and reasoning about bigraph models, including recent extensions such as parameterised, instantaneous, prioritised and conditional rules, and probabilistic and stochastic rewriting.

翻译：大图是一种通用的建模形式体系，能以图形化方式便捷地表达布局与连接关系。系统演化由用户定义为重写规则集合。本文提供了关于大图模型开发、执行与推理的实用而详尽的指南，涵盖参数化规则、瞬时规则、优先级规则、条件规则等最新扩展，以及概率性与随机性重写机制。