Integrating Petri Nets and Flux Balance Methods in Computational Biology Models: a Methodological and Computational Practice. - Simone Pernice; Laura Follia; Gianfranco Balbo; Luciano Milanesi; Giulia Sartini; Niccoló Totis; Pietro Lió; Ivan Merelli; Francesca Cordero; Marco Beccuti (Fundam. Informaticae, 2020)