An approach for enforcing a class of GMECs on time Petri nets with uncontrollable transitions
Research article (Information Sciences, 2021) · cited 17× · AI/ML