Asynchronous Networks: Modularization of Dynamics Theorem

Building on the first part of this paper, we develop the theory of functional asynchronous networks. We show that a large class of functional asynchronous networks can be (uniquely) represented as feedforward networks connecting events or dynamical modules. For these networks we can give a complete description of the network function in terms of the function of the events comprising the network: the Modularization of Dynamics Theorem. We give examples to illustrate the main results.