The WorkflowInstance class exposes methods and properties that can be used to control the execution of a workflow instance; it is essentially a proxy to the actual workflow instance used by the workflow runtime engine. Since multiple instances of the same workflow can be running. Which property of the WorkflowInstance can be used to distinguish them?