On optimality of a two-processor scheduling for program nets with combined OR-nodes | IEEE Conference Publication | IEEE Xplore