|
|
自动化学报 2005
LivenessProblemofPetriNetsSupervisoryControlTheoryforDiscreteEventSystems, PP. 143-150 Keywords: Discreteeventsystems,supervisorycontrol,Petrinets,liveness Abstract: ？Aquitegreatprogressofthesupervisorycontroltheoryfordiscreteeventsystems(DES)hasbeenmadeinthepastnearlytwentyyears,andnow,automata,formallanguageandPetrinetsbecomethemainresearchtools.ThispaperfocusonthePetrinetsbasedsupervisorycontroltheoryofDES.Firstly,wereviewtheresearchresultsinthisfield,andclaimthattheregenerallyexistsaprobleminPetrinetsbasedsupervisorycontroltheoryofDES,thatis,thedeadlockcausedbythecontrollerintroducedtoenforcethegivenspecificationoccursintheclosed-loopsystems,especiallythedeadlockoccursintheclosed-loopsysteminwhichtheoriginalplantislive.Finally,apossibleresearchdirectionispresentedforthesolutionofthisproblem.
|
