In this paper a type of specifications called OR-GMEC for place/transition nets is defined. Such a specification consists of a set of disjunctive Generalized Mutual Exclusion Constraint, i.e. the requirement is that, at any given time, the controlled system should satisfy at least one of them. We show that a bounded OR-GMEC can be enforced by a special control structure composed by a set of monitor places (one for each constraint) plus a switcher that determines the current active constraint. We also show that such a simple control structure is not maximally permissive, and characterize this problem identifying a special subset of transitions that may be over-restricted. A modified controller that ensures maximal permissiveness is also presented. Finally, we discuss a particular control problem, that consists in preventing the firing of a given set of transitions and show that it can be reduced to an OR-GMEC problem.

Petri Net Controllers for Disjunctive Generalized Mutual Exclusion Constraints

GIUA, ALESSANDRO
2013

Abstract

In this paper a type of specifications called OR-GMEC for place/transition nets is defined. Such a specification consists of a set of disjunctive Generalized Mutual Exclusion Constraint, i.e. the requirement is that, at any given time, the controlled system should satisfy at least one of them. We show that a bounded OR-GMEC can be enforced by a special control structure composed by a set of monitor places (one for each constraint) plus a switcher that determines the current active constraint. We also show that such a simple control structure is not maximally permissive, and characterize this problem identifying a special subset of transitions that may be over-restricted. A modified controller that ensures maximal permissiveness is also presented. Finally, we discuss a particular control problem, that consists in preventing the firing of a given set of transitions and show that it can be reduced to an OR-GMEC problem.
File in questo prodotto:
Non ci sono file associati a questo prodotto.

I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.

Utilizza questo identificativo per citare o creare un link a questo documento: http://hdl.handle.net/11584/54111
 Attenzione

Attenzione! I dati visualizzati non sono stati sottoposti a validazione da parte dell'ateneo

Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus 7
  • ???jsp.display-item.citation.isi??? ND
social impact