%0 Journal Article
%T LivenessProblemofPetriNetsSupervisoryControlTheoryforDiscreteEventSystems
%A Hong-Ye SU
%A Wei-Min
%A WU Jian CHU
%J 自动化学报
%P 143-150
%D 2005
%X ？Aquitegreatprogressofthesupervisorycontroltheoryfordiscreteeventsystems(DES)hasbeenmadeinthepastnearlytwentyyears,andnow,automata,formallanguageandPetrinetsbecomethemainresearchtools.ThispaperfocusonthePetrinetsbasedsupervisorycontroltheoryofDES.Firstly,wereviewtheresearchresultsinthisfield,andclaimthattheregenerallyexistsaprobleminPetrinetsbasedsupervisorycontroltheoryofDES,thatis,thedeadlockcausedbythecontrollerintroducedtoenforcethegivenspecificationoccursintheclosed-loopsystems,especiallythedeadlockoccursintheclosed-loopsysteminwhichtheoriginalplantislive.Finally,apossibleresearchdirectionispresentedforthesolutionofthisproblem.
%K Discreteeventsystems
%K supervisorycontrol
%K Petrinets
%K liveness
%U http://www.aas.net.cn/CN/abstract/abstract15504.shtml