MAGNET: a Software Library for Markovian Agent Networks. - Marco Scarpa; Giuseppe Molica (VALUETOOLS, 2017)