Bigraphs
Bigraphs are a mathematical formalism for modeling systems with both spatial and dynamic aspects, combining a place graph (representing locality or nesting) and a link graph (representing connectivity or communication). They were developed by Robin Milner as a foundational model for concurrent systems, mobile processes, and ubiquitous computing. Bigraphs provide a unified framework to describe the structure and behavior of distributed, reactive systems in a compositional way.
Developers should learn bigraphs when working on formal methods for concurrent, distributed, or mobile systems, such as in software verification, protocol design, or modeling IoT networks. They are particularly useful for specifying and analyzing systems where both location (e.g., devices in a network) and interaction (e.g., message passing) are critical, enabling rigorous reasoning about safety and liveness properties. This concept is applied in academic research, tool development for model checking, and advanced system design in fields like cybersecurity and autonomous systems.