R14

R14 / Mc:Mc-1

Process explicitly executes before zero, one or many Process

Process explicitly executes after zero, one or many Process

---

A single Process may require any number of other Processes (other than itself) to wait even though there is no content dependency from that Process to the others. Visualize this as a dashed arrow emanating from a source Process to one or more other Processes.

A single Process may need to wait for the explicit completion of any number of other Processes. Visualize this scenario as a single Process with any number of dashed arrows pointing inward from other Processes.

Since there is no Content associated with a Control Sequence, the 'to process' simply waits unit the state of the Control Sequence changes from 'not ready' to 'ready'.

Formalization

Process.(From process, Graph) -> Process.(Name, Graph) on 'executes before'
Process.(To process, Graph) -> Process.(Name, Graph) on 'executes after'

Constraints

Note that the existence of only one Graph attribute in the Control Sequence class enforces the constraint that a Process may establish a sequence only with another Process on the same Graph.

Also, cycles are forbidden as follows: To process != From process