Consider the game described by the propnet shown below. The nodes marked la and lb are legality nodes for actions a and b; the nodes marked 100 and 0 are reward nodes; and the node marked t is a terminal node.

Assume a base marking that assigns s the value 1, and consider an input marking that assigns a the value 1 and b the value 0.