In: Soviet Journal of Computer and System Sciences, Vol. 26, No. 1, pages 109-114. 1988.
Abstract: The notion of correctness for parallel algorithms of logical control which substantially differ from the conventional sequential computational algorithms is defined. Verification of correctness reduces to the verification of viability and safety of a subclass of Petri nets to be called alpha-nets.