For the most recent entries see the Petri Nets Newsletter.

Description and Analysis of Parallel Logic Control Algorithms Using Operation Graphs.

Avakyan, V.V.; Yuditskii, S.A.

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).


Do you need a refined search? Try our search engine which allows complex field-based queries.

Back to the Petri Nets Bibliography