StochNetV2: A Tool for Automated Deep Abstractions for Stochastic Reaction Networks. - Denis Repin; Nhat-Huy Phung; Tatjana Petrov (QEST, 2020)