Experimental analysis of logical process simulation algorithms in JAMES II | IEEE Conference Publication | IEEE Xplore