Digital Publishing consists of different job treatment stages involved in the
correct set up of each job to be printed, but this process has been seriously
hampered by a number of difficulties including the management of faults
and errors of incoming jobs. 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 the analysis tools necessary...