A method and system for translating a JDF workflow into a colored Petri
net representation. Once the workflow has been converted, the colored
Petri net is validated and analyzed. This provides the ability to
identify potential deadlock conditions within a JDF workflow. In
addition, the model network can be used to simulate throughput and
turnaround time of a workflow and the effects of resources arriving at
various times.