In: Journal of Computer Science and Technology (English Edition), No. 2, 2, pages 133-144. 1987.
Abstract: The interpreted scheme (IS) is a concurrent system model based on a class of Petri nets. To avoid shared variables, a variable allocation is associated with a nabla component in IS. Two algorithms are given in the paper. One is used to find all of the nabla components in a given scheme and the other is for testing the validity of variable allocations.