In this paper, a type of specifications called OR-AND Generalized Mutual Exclusion
Constraints (GMEC) for place/transition nets is defined. Such a specification consists of a …

This paper deals with the problem of enforcing generalized mutual exclusion constraints
(GMEC) on place/transition nets with uncontrollable transitions. An efficient control synthesis …

The paper discusses the problem of enforcing generalized mutual exclusion constraints on
place/transition nets with uncontrollable transitions. For a class of Petri nets, marked graphs …

Generalized mutual exclusion constraints (GMECs) are a typical class of specifications for
the supervisory control of discrete event systems in a Petri net formalism. This paper …

The considered class of generalized mutual exclusion constraints (GMECs) on a controlled
Petri net are such that the influence-uncontrollable subnets are forward-concurrent-free nets …

The paper addresses the design of compact and maximally permissive decentralized
supervisors for Petri nets, based on generalized mutual exclusion constraints …

This paper deals with the enforcement of generalized mutual exclusion constraints (GMECs)
on time Petri nets (TPNs) with uncontrollable transitions by restricting the firing intervals of …

This paper presents a procedure for the design of supervisors that enforce the transitions in
a given set T to be live. T-liveness enforcement corresponds to full liveness enforcement …

This article investigates the enforcement of generalized mutual exclusion constraints
(GMECs) and deadlock-freeness on a time Petri net (TPN) system with uncontrollable …

This paper proposes an analytical method for the synthesis of reversibility-enforcing
supervisors for bounded Petri nets. The proposed me-thod builds upon recent developments …