Formal Mathematical Modeling of Domain 6: Multi-Scale Stochastic Petri Nets