New validation methods for complex biological systems analysis using time Petri nets