Global structure vs each agent's know-how
Structures of subnets in a MSBN collectively define a directed acyclic graph (DAG).
Local acyclicity doesn't warrant global acyclicity.
- Algorithms to test acyclicity based on topological sorting are well known. However, a central representation of the graph is assumed.