文档介绍:AbstractAbstract3Thisdissertationfocusesonthedeadlockpreventionproblemsinflexiblemanufacturingsystems(FMS).Itsmajortargetistodesignwell—behavedcontrollersthatleadtoamorepermissivesupervisorbyaddingasmallnumberofmonitorsandarcsonlythantheexistingonesintheliteratureforthedesignofliveness-,amonitorisaddedtotheplantmodelsuchthatitisinvariant—controlledwithoutgeneratingemptiablecontrol-inducedsiphons,,,,itintroduceselementaryconstraintstoadeadlockpreventionpolicyinwhichlivenessrequirementsarerepresentedasasetofGeneralMutualExclusiveConstraints(GMEC),,s,calledSystemofSimpleSequentialProcesseswithMultipleResources(S3PMR).WhentheoptimalityofasuperviserCarlnotbeensured,·inducedsiphonsaregeneratedandallsiphonsinitareinvariant--,thepolicyensuresthemax—,petitionforlimitedresourcesCanproducedeadlocksinaresourceallocationsystem()-s,calledSystemofSimpleSequenfialProcesseswithResources(S3pR).Theproposedpolicycanallocatethetokensinthecontrolplacesreasonablytoguaranteetheabsenceofdeadlockstates,areinvariant—controlled