Navigation in Simulated Workflows

摘要

An enabled task accessed by a user within a workflow is identified. The workflow is expressed as a Petri net and includes enabled tasks and non-enabled tasks. A non-enabled task selected by a user is identified, and a suitable state that enables the non-enabled state is determined based on the identified enabled task. A simulated workflow for the selected non-enabled task is generated based on the determined suitable state. The simulated workflow is expressed as a Petri net. The user is enabled to navigate through the simulated workflow.