Engineering Journal: Science and InnovationELECTRONIC SCIENCE AND ENGINEERING PUBLICATION
Certificate of Registration Media number Эл #ФС77-53688 of 17 April 2013. ISSN 2308-6033. DOI 10.18698/2308-6033
  • Русский
  • Английский
Article

Verification of software algorythms with hierarchical Petri nets

Published: 01.04.2013

Authors: Rudakov I.V., Pashenkova A.V.

Published in issue: #2(14)/2013

DOI: 10.18698/2308-6033-2013-2-538

Category: Information technology

The method of formalizing computational algorithms using the hierarchical Petri nets is considered. Software package which implements this method is developed. This software package allows you to analyze models of software algorithms for deadlocks, impracticable operations, loops and infinite looping. A method is based on one of the analysis methods of Petri nets - reachability tree.