Integrating Petri Nets and Flux Balance Methods in Computational Biology Models: a Methodological and Computational Practice