Fig. 6
From: Stochastic modeling and analysis of vapor cloud explosions domino effects in chemical plants
Multiple instances of the Tank template model are connected together using the Join state-sharing formalism (b). In this way, cascading effects are automatically taken into account by the SAN model (a)