Loading [MathJax]/extensions/MathZoom.js
Petri net controllers for disjunctive Generalized Mutual Exclusion Constraints | IEEE Conference Publication | IEEE Xplore

Petri net controllers for disjunctive Generalized Mutual Exclusion Constraints


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 Exclu...Show More

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.
Date of Conference: 10-13 September 2013
Date Added to IEEE Xplore: 28 October 2013
ISBN Information:

ISSN Information:

Conference Location: Cagliari, Italy

References

References is not available for this document.