Workflow Nets
a subclass of P/T nets, namely the class of workflow nets
a WF net is an abstraction of a workflow process.
Tasks are represented by transitions and conditions by places
WF nets are merely introduced for the purpose of verification.
A workflow process contains information about: