Deep Abstractions of Chemical Reaction Networks. - Luca Bortolussi; Luca Palmieri 003 (CMSB, 2018)