From Forbidden States To Linear Constraints For Optimal Supervisory Synthesis
- Authors
-
-
Abbas Dideban
Laboratoire de automatique de Grenoble
-
Hassane Alla
University of Semnan
-
- Abstract
- The place invariant method is well known as an elegant way to construct a Petri net controller. It is possible to use the constraint for preventing forbidden states. But in general case, there are many of the forbidden states, thus there is many control places. In this paper is presented a systematic method to reduce the size and the number of constraints. This method is applicable for safe and conservative Petri nets. By this method we can construct a maximally permissive controller.
- References
- Downloads
- Published
- 2005-09-30
- Issue
- Vol. 7 No. 3 (2005)
- Section
- Articles