Programming method using a Petri net and structured data processing system

摘要

A method of composing a set of instructions for directly executing a data-flow type program by using a Petri net directed to structured data of at least one of, or a combination of, Cartesian product, direct union and sequence, and a structured data driven type processor system for executing a program containing such instructions. In composing a set of instructions, desired data paths, i.e., links (L), are provided in accordance with the Petri net, and the links are defined by a data type which defines the data to be processed. A work node (W) connected to the link at the input side of the work node is defined which work node takes data from the link at the input side of the work node, performs a desired calculation to take the calculation result out to the link at the output side of the work node. A data type defining data on the link at the output side is restricted by a calculation function of the work node. Instructions associated with data structure include a decomposition instruction (Fig. 7A - 9A) for decomposing structured data into constituent elements and a composition instruction (Fig. 7B - 9B) for composing data of Cartesian product, direct union or sequence from constituents elements. The decomposition and composition instructions are added to instruction languages of the data driven type system.