http://www.gridworkflow.org/gworkflowdl
element readPlace

Documentation

Specifies a read edge which connects the transition with a specific read place. One occurrence of the transition
uses one token on each read place as input token, but the transition does not remove these tokens after occurrence.
Several occurrences of transitions may read the same token on a read place concurrently. Regarding the theory of
P/T nets a read edge is equivalent to a loop of input and output edge, however in practice, a read edge allows
to model concurrent read operations on shared data.
            

Properties

This component is not nillable.

Model

<readPlace
  edgeExpression = xs:string
  placeID = xs:string>

</readPlace>

edgeExpression

The attribute edgeExpression is used as value assignement for input and read places and as functional statement for output places using the XPath 1.0 standard.

Type:

xs:string

Use:

optional

Form:

unqualified

placeID

The attribute "placeRef" denotes a place ID.

Type:

xs:string

Use:

required

Form:

unqualified

Source

<xs:element name="readPlace" type="placeRef">
</xs:element>