In: Probl. Tekh. Kibern. Robot (Bulgaria), Vol. 27, pages 10-19. 1987. In Bulgarian.
Also in: Probl. Tekh. Kibern. Robot (Bulgaria), Vol. 28, pages 25-32. 1987. In Bulgarian.
Abstract: A method is presented for analysis of the properties of a parallel calculation model called a Petri logical network. The model generalizes a number of elements of other known parallel calculation models. Using the method one can determine if a given parallel calculation possesses the property of appropriate completion.