In: Avtomatika i Telemekhanika 1988, No. 5, pages 165-177. 1988. In Russian.
Also in: Automation and Remote Control USSR, Vol. 49, No. 5, pages 680-689. 1988. English translation.
Abstract: The authors discuss a method of using Petri nets to localize errors in automatic control system structured software. The method is based on analyzing the erroneous output from testing, reviewing, and subsequently verifying the procedures informationally coupled with the results and output information elements. The method makes it possible to automate the process of finding the areas and locations at which information and computing errors may occur.