Two Algorithms for Variable Allocation in an Interpreted Scheme

The Interpreted Scheme (I. S. in short) is a concurrent system model based on a class of Petri nets. It can also be used for the specification of concurrent computations. To avoid impractical shared variables a variable allocation is associated with a ∇ component in I. S.. Two algorithms are given in the paper. One is used to find all of the ∇ components in a given scheme and another is for testing the validity of variable allocations.