Linear Temporal Inference of Workflow Management Systems Based on Timed Petri Nets Models.

Yang Qu II Chuang Lin Jiye Wang

Published in: EDCIS (2002)

Keyphrases

workflow management systems
process model
probabilistic model
experimental data
business processes
bayesian inference
temporal constraints
workflow management
spatial information
computer aided
temporal information
mathematical models
timed petri nets