Parallel architectures with regular structure: a case study in modelling using stochastic well formed coloured Petri nets

It is shown how to study the latency of packets exchanged by MIMD distributed memory architectures with regular structures. To reach this goal, the single node, the architecture topology, the routing algorithm, and the flow control algorithm are modeled. Models have been built with the formalism of stochastic well-formed coloured Petri nets (SWNs) having in mind modularity. Different types of nodes, topology, routing, and flow control are modeled in isolation and are then intermixed to study different architectures. To achieved simplicity and modularity, SWNs are used to their full power, so that this work constitutes quite a complete example of modeling with SWNs