This type describes a (cyclo-)static DPN with the following entries:

• nodes[i] is the name of process node i
• buffers[j] is the name of FIFO buffer j
• initState[j] is number of initial tokens in buffer j
• eqs is an array of tuples (f,inP,outP) where inP and outP are again arrays that hold the indices of the input and output buffers read and written by process f.
• prod[j] is a pair (i,np) saying that process i produces np[r] tokens for buffer j in its r-th step.
• cons[j] is a pair (i,nc) saying that process i consumes nc[r] tokens from buffer j in its r-th step.