Petri net controllers for disjunctive Generalized Mutual Exclusion Constraints
- 1 September 2013
- conference paper
- conference paper
- Published by Institute of Electrical and Electronics Engineers (IEEE) in 2013 IEEE 18th Conference on Emerging Technologies & Factory Automation (ETFA)
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.Keywords
This publication has 8 references indexed in Scilit:
- On suboptimal supervisory control of Petri nets in the presence of uncontrollable transitions via monitor placesThe International Journal of Advanced Manufacturing Technology, 2009
- Supervision Based on Place Invariants: A SurveyDiscrete Event Dynamic Systems, 2006
- Generalized mutual exclusion contraints on nets with uncontrollable transitionsPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2003
- Supervisory design using Petri netsPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2002
- Closed-Loop Live Petri Net Supervisors for GMECPublished by Springer Science and Business Media LLC ,2000
- Supervisory Control of Discrete Event Systems Using Petri NetsPublished by Springer Science and Business Media LLC ,1998
- A Survey of Petri Net Methods for Controlled Discrete Event SystemsDiscrete Event Dynamic Systems, 1997
- The control of discrete event systemsProceedings of the IEEE, 1989