Game modeling using WorkFlow nets | IEEE Conference Publication | IEEE Xplore