pomsets uses the pomset model to represent computational workflows. The formal definition of a pomset is as follows:


A labelled partial order (LPO) is a 4 tuple (V, Σ, «, μ) where V is a set of vertices, Σ is the alphabet, « is the partial order on the vertices, and μ is the labelling function μ : V → Σ.



A pomset is a LPO up to isomorphism.


Workflows in pomsets are represented using pomsets. Workflow nodes are the pomset vertices. Workflow task definitions are the alphabet. Workflow dependencies are the partial ordering of the vertices. The association of workflow nodes with task definitions is the labelling of the pomset nodes.