A Formal Diagrammatic Approach to Timed Workflow Modelling.

Hao Wang Adrian Rutle Wendy MacCaull

Published in: TASE (2012)

Keyphrases

petri net
formal model
machine learning
workflow management systems
timed automata
database
real time
data mining
web services
expert systems
software engineering
markov chain
business process