Article devoted to a hierarchical method of software analysis, which allows to detect errors in the early stages of development. Block-hierarchical approach is considered. The hierarchical structures of software systems make it possible to get visible system. This method is based on the formalization of software systems with hierarchical Petri net. Errors are detected by analysis of obtained Petri net.