时间Petri网在时间约束工作流系统的研究与应用

上海交通大学硕士学位论文时间Petri网在时间约束工作流系统的研究与应用姓名：肖煜中申请学位级别：硕士专业：材料加工工程指导教师：李从心20060201PetriPetriPetriPetriPetriB/SPetriABSTRACTABSTRACTThispaperfirstintroducestheorigin,definition,types,meritsoftheworkflowtechnologyWorkflowManagementSystem(WIMS)anditscurrentdevelopment.ThenitcomestothebasicconceptsofPetrinetanditsapplicationinworkflowmodeling.OnthebasisofthecurrentresearchaboutthetemporalmanagementofWorkflowManagementSystem,thispaperhascarriedoutthefollowingresearch,usingthetimedPetrinetformodelingworkflowsystemsBasedonthetraditionalPetrinet,adifferentworkflowmodelingmethodfortemporallyconstrainedworkflowisputforward,whichcanintegratetheprocessmodelingandthetimemodelingeffectivelysothatthesystemcangivecleardescriptionaboutthedynamicmovementoftheworkprocessandtheenvironment.Accordingtheresearchinthedistributionofslacktimeintemporalconstrainedworkflowmodel,amethodofstaticdistributionoftheprocesstimeresourceanddynamicadjustmentispresentedtomakefurtherimprovementintheoperatingefficiencyoftheworkflowmanagementsystem.Basedontheresearchabove,aBS-structuredworkflowmanagementsystemisdevelopedonthebackgroundoftheOfficeAutomationSystemoftheenterprise,whichischaracterizedbysomebriefABSTRACTfunctionstoperformthetemporalconstraintmanagement.KEYWORDSworkflowtemporalconstraintmanagementtimedPetrinetslacktimeOA20062162006216200621611.1[1]2080PC80FileNetWorkFlowViewStarViewstar(StructuredRouting)()2090;Client/Server(CORBA)1993(WorkflowManagementCoalition,WfMC)APIInternetOvum2000WFMS1070WFMS[2]21962CarlAdamPetri[3]PetriPetriPetriPNPetritimingPNP-timedPNT-timedPetriPetri[1]1)PetriPetri/PetriPetriPetriPetri/PetriPetriPetriWfMCPetriPetri2)PetriPetria)b)c)3)PetriPetriPetri3PetriPetriPetri1.21)2)PetriPetriPetri3)Petri4)B/S[1].-.2001[2],,,.WfMS:.,1999,22(3):325-334.[3]C.A.Petri.“KommunikationmitAutomaten”.Ph.D.Thesis,InstitutfurinstmmentelleMathematik,Bonn,1962.42.1[1]2080PC80FileNetWorkFlowViewStarViewstar(StructuredRouting)()2090;Client/Server(CORBA)1993(WorkflowManagementCoalition,WfMC)APIInternetOvum2000WFMS1070WFMS[2]8090315232.22.2.1[3]IBMAlmadenResearchCenter[4]Georgakopoulos(Task)[7][1]What()How()When(Who()(1)(2)(3)2.2.2(BusinessProcess)6(WorkflowModel)[5](1)(2):(3)(4)(Activity)(ProcessDefinition)(Process/ActivityInstances)(Agent)(1)Actor(2)GroupActorActor2.1[6]2.1Fig.2.1Therelationsbetweenthebasicconceptsofworkflow72.32.3.1WfMCWfMS()(2.2)BusinessProcessAnalysis,Modeling&DefinitionToolsProcessDefinitionWorkflowEnactmentServiceUsersBuildTimeProcessDesign&DefinitionRunTimeProcessInstantiation&ControlRunTimeInteractionwithUsers&ApplicationToolsApplication&ITToolsProcesschangesWorkflowControlDataApplicationDataWorkflowRelevantData2.2Fig.2.2WorkflowsystemcharacteristicsIT2.3.219941129[7](Workflowreferencemodel)2.38WorkflowEngine(s)WorkflowAPIandInterchangeformatsInterface5ProcessDefinitionToolsAdminstration&MonitoringTolsWorkflowEngine(s)WorkflowClientApplicationsInvokedApplicationsWorkflowEnactmentServiceInterface1Interface4Interface2Interface3OtherWorkflowEnactmentService(s)2.3WfMCFig.2.3Workflowreferencemodelcomponents&interfaces()1(/)[8]API()2(API)[9]API.5()WorkflowAPI(WAPD()92.3.3[10]1.(ERP)[11]2.3.DBMS4.102.3.4;2.3.5ORBWorkCORBACORBACORBAOrbixCORBAORBWork()CORBACORBAIDLORBWorkWebWebCORBACORBA(ORB)(IDL)CORBAWebWorkWebWebWorkWebCORBAWebWebMETEORWebWeb11Exotica/FMQMIBMAlmadenExotica(persistentmessages)ExoticaAPIDartFlowDartFlow[12]90()CarolynMcGregor()()()((BusinessActivityMonitoring,BAM)2.412[1].-.2001[2],,,.WfMS:.,1999,22(3):325-334.[3]WorkflowManagementCoalition,Workflowmanagementcoalitionterminologyandglossary.TechnicalReport,WfMC-TC-1011,Brussels:WorkflowManagementCoalition,1996:8-17.[4],-.-CMIS,2000,6(1):2-13.[5]D.Georgakopoulos,M.Horrrnick,A.Sheth.AnOverviewofWorkflowManagementDistributedandParallelDatabases,1995,3:119-153.[6].:.,1999,26(10):20-23.[7]Hollingsworth,,D.TheWorkflowReferenceModel,WorkflowManagementCoalition,DocumentNumberTC00-I003,Doc.Status.Issue1.1,1995.[8]WorkflowManagementCoalition.Theworkflowreferencemodel.WfMCTC00-1003,19thJan,1995.[9]WorkflowManagementCoalition.Workflowmanagementcoalitionworkflowclientapplication(Interface2)applicationprogramminginterface(WAPI)specification.WorkflowManagementCoalition,1996.[10]K.R.Abbott,K.S.Sarin.Experienceswithworkflowmanagement:issuesforthenextGeneration.InProcConferenceonComputerSupportedCooperativeWorkChapelHill,NorthCarolina,UnitedStates:ACMPress,1994.[11]WorkflowManagementCoalition.Workflowclassificationembedded&autonomousworkflowmanagementsystems.WorkflowManagementCoalition,10thMarch,2000.[12]WorkflowManagementCoalition.Theworkflowhandbook2003.WorkflowManagementCoalition,2003.Petri13Petri3.1Petri1962CarlAdamPetri[1]PetriPetriPetri3.1.1placetransitionarcPetriplacetransition3.1arcdegenerationPNfirableenabledjTPNfunctioningPNPetri141P2P3P4P5P6P7P1T2T3T4T5T6T••••3.1PetriFig.3.1PNPNbipartitegraph[2]PiTjPiTjupstreaminputTjPmPmTjdownstreamoutputsourcetransitionsinktransition3.1.2markingPNtokensmarksPiMPimi3.1131==mm12=m07542====mmmmM),