In: Autom. Remote Control, Vol. 51, No. 1, Pt. 2, pages 82-88. June 1990.
Abstract: A method is presented for description and analysis of parallel logic control algorithms using operation graphs (loaded Petri nets). The correctness conditions of an operation graph are formalized. The correctness conditions are checked by special transformations that combine decomposition and reduction of the original description.
Keywords: parallel logic control algorithm; operation graph; loaded net; decomposition (and) reduction (of the description).