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

Documentation

The ocurrence of a transition alters the state of the Petri net. A transition may be linked
to an (external) operation. Petri net arcs are directed edges that are represented by read places, input places,
write places and output places.
                        

Properties

This component is not nillable.

Model

<transition
  ID = xs:ID>
(description?, property*, readPlace*, inputPlace+, writePlace*, outputPlace*, condition*, operation )
</transition>

ID

Type:

xs:ID

Use:

required

Form:

unqualified

Source

<xs:element maxOccurs="unbounded" minOccurs="0" name="transition">
  <xs:complexType>
    <xs:sequence>
      <xs:element minOccurs="0" ref="description"/>
      <xs:element maxOccurs="unbounded" minOccurs="0" ref="property"/>
      <xs:element maxOccurs="unbounded" minOccurs="0" name="readPlace" type="placeRef"/>
      <xs:element maxOccurs="unbounded" minOccurs="1" name="inputPlace" type="placeRef"/>
      <xs:element maxOccurs="unbounded" minOccurs="0" name="writePlace" type="placeRef"/>
      <xs:element maxOccurs="unbounded" minOccurs="0" name="outputPlace" type="placeRef"/>
      <xs:element maxOccurs="unbounded" minOccurs="0" name="condition" type="xs:string">
      </xs:element>
      <xs:element minOccurs="0" name="operation">
        <xs:complexType>
          <xs:sequence>
            <xs:any minOccurs="0" namespace="##any" processContents="lax"/>
          </xs:sequence>
        </xs:complexType>
      </xs:element>
    </xs:sequence>
    <xs:attribute name="ID" type="xs:ID" use="required"/>
  </xs:complexType>
</xs:element>