For the most recent entries see the Petri Nets Newsletter.

Reduction Method for Testing the Correctness of Parallel Algorithms for Logic Control.

Zakrevskiy, A.D.

In: Dokl. Akad. Nauk BSSR, Vol. 27, No. 7, pages 617-619. 1983. In Russian.


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

Back to the Petri Nets Bibliography