📄️ Outline
The modelling concepts and examples in this series are adapted from Blair Archibald, Muffy Calder, and Michele Sevegnani, Practical Modelling with Bigraphs, published in Formal Aspects of Computing (see \[1\]), and are reformulated here as hands-on exercises with corresponding implementations using the Bigraph Framework.
📄️ Place Graphs (Ex. 1–2)
Learn how place graphs represent hierarchical structure through nesting, siblings, and regions, and how sites abstract from unspecified or variable contents.