petri net workflow modeling for digital publishing,measuring quantitative dependability attributes

gustavo a. chaparro-baquero · lightning source inc