7. The non-transitory computer-accessible memory medium of claim 2 , wherein the number of tokens consumed and produced are respectively restricted to be 0 or 1 at each phase.
2. The non-transitory computer-accessible memory medium of claim 1 , wherein the program instructions are further executable to perform: analyzing the graphical program, including analyzing the specifications or constraints, thereby producing analysis results; wherein said automatically generating the program is performed based on the analysis results.