Yang Qu II Chuang Lin Jiye Wang Linear Temporal Inference of Workflow Management Systems Based on Timed Petri Nets Models. 30-44 2002 conf/edcis/2002 EDCIS http://link.springer.de/link/service/series/0558/bibs/2480/24800030.htm db/conf/edcis/edcis2002.html#QuLW02