Exploiting product forms solution techniques in multiformalism modeling