Extensive Games as Process Models.

Johan van Benthem

Published in: J. Log. Lang. Inf. (2002)

Keyphrases

process model
process mining
business processes
business process
event logs
petri net
reference models
video games
business process models
educational games
control flow
computer games
software process
game play
log files
dynamic behaviors