\input zb-basic
\input zb-ioport
\iteman{io-port 06548793}
\itemau{Zareiee, Meysam; Dideban, Abbas; Orouji, Ali A.; Soltanizadeh, Hadi}
\itemti{Solving the problem of forbidden states in discrete event systems: a novel systematic method for reducing the number of control places.}
\itemso{Asian J. Control 17, No. 3, 1006-1015 (2015).}
\itemab
Summary: This paper deals with the problem of forbidden states in discrete event systems modeled by non-safe Petri nets. To avoid these states, some generalized mutual exclusion constraints can be assigned to them. These constraints limit the weight sum of tokens in some places and can be enforced on the system using control places. When the number of these constraints is large, a large number of control places should be added to the system. In this paper, a method is presented to assign the small number of constraints to forbidden states using some states which cover the forbidden states. So, a small number of control places are added to the system leading to obtaining a maximally permissive controller.
\itemrv{~}
\itemcc{}
\itemut{discrete events; Petri net; forbidden state; over-state; control place}
\itemli{doi:10.1002/asjc.947}
\end