Wyślij emailem: Modularization of biochemical networks based on classification of Petri net t-invariants