Test Process Model with Enhanced Approach of State Variable.

Praveen Ranjan Srivastava

Published in: IC3 (2) (2010)

Keyphrases

process model
state variables
process mining
business processes
business process
formal models
dynamic systems
state space
event logs
learning algorithm
workflow management systems
test cases
petri net