Generalized mutual exclusion contraints on nets with uncontrollable transitions | IEEE Conference Publication | IEEE Xplore