Performance Equivalent Analysis of Workflow Systems Based on Stochastic Petri Net Models. - Chuang Lin 002; Yang Qu II; Fengyuan Ren; Dan C. Marinescu (EDCIS, 2002)

Linear Temporal Inference of Workflow Management Systems Based on Timed Petri Nets Models. - Yang Qu II; Chuang Lin 002; Jiye Wang (EDCIS, 2002)

Temporal inference of workflow systems based on time petri nets: Quantitative and qualitative analysis. - Chuang Lin 002; Yang Qu II (Int. J. Intell. Syst., 2004)