Mining and state-space modeling and verification of sub-networks from large-scale biomolecular networks