سال انتشار: ۱۳۸۵

محل انتشار: چهاردهمین کنفرانس مهندسی برق ایران

تعداد صفحات: ۶

نویسنده(ها):

Abbas Abbas – Laboratoire de automatique de Grenoble, University of Semnan, IRAN
Hassane ALLA – Laboratoire de automatique de Grenoble FARNCE

چکیده:

This paper addresses the problem of forbidden states of safe Petri Net (PN) with uncontrollable transitions in discrete – event systems. It is possible to use conditions or predicates to prevent the forbidden states. Generally, there are many forbidden states, thus many complex conditions are associated with the transitions. In this paper, a systematic method is presented to calculate simpler conditions for the controllable transitions. This method is applicable for safe Petri nets. Using this method, we can construct a maximally permissive controller.