A question might this approach lead to a VHDL description of the network.

Simulating the dynamics of large networks is going to be computationally expensive, possibly implementing this in hardware, maintaining the state space description is useful.