Measuring Quantitative Dependability Attributes in Digital Publishing Using Petri Net Workflow Modeling

This work describes workflow modeling using Workflownets and Generalized Stochastic Petri Nets (GSPN) for the Digital Publishing business process and how the dependability attributes are measured in a quantitative form. In our novel approach, these are measured from the workflow model itself, improving its analysis. Applying these measure concepts to the Digital Publishing pre-press process provides a workflow management based on its trustworthiness. The methodology for workflow modeling is introduced and the results for a case study on the preflight stage of the Digital Publishing workflow are presented.