“…Because a direct specification of a large GSHS model does not work, the framework of Stochastically and Dynamically Coloured Petri Nets (SDCPN) [30,31,32,33] has been developed for the compositional specification of a GSHS model. For the acceleration of MC simulation of rare events, the Interacting Particle Systems (IPS) approach for GSHS is used [23,7,8,58,59]. The SDCPN & IPS framework is applied to the Heated Tank benchmark.…”