Gravar-mail: Modularization of biochemical networks based on classification of Petri net t-invariants