Patent ID: 8868386

Claim:
A computer-implemented method comprising: providing, for display in a user interface, an actual workflow, the actual workflow being associated with a first workflow state and being expressed as a Petri net, the actual workflow comprising a first set of enabled tasks and non-enabled tasks, where each enabled task is provided as a task comprising tokens in all input places, and each non-enabled task is provided as a task comprising at least one absence of a token from an input place; identifying a task as a selected task that has been selected by a user using the user interface; determining that the selected task is a non-enabled task, and in response: determining a path from a current task to the selected task in the actual workflow, identifying a second workflow state in which the selected task is enabled based on the path, and generating a simulated workflow for the selected task based on the second workflow state, the simulated workflow comprising a second set of enabled tasks and non-enabled tasks that is different from the first set of enabled tasks and non-enabled tasks; providing the simulated workflow for display on the user interface; and enabling the user to navigate through the simulated workflow.