上海交通大学硕士学位论文用工作流理论设计政府采购的网上竞价系统姓名:许殷泰申请学位级别:硕士专业:计算机技术指导教师:黄上腾;乐文耀200509011200510272200510272005102734PetriWF_netPetriABSTRACT5DesigningOnlineBiddingSysteminGovernmentProcurementwithWorkflowTheoryABSTRACTAsasubsystemofonlineauctionsystem,onlinebiddingsystemisanimportantpartinITconstructionofShanghaigovernmentprocurementcenter.Itisalsoacombinationwithprocurementmanagementandonlinegovernment.Withthissystem,theprocessesofprocurementcenterbecomemorescientific,canonicalandreasonable.Itwillimprovequalityandefficiency,decreasescost,increasestransparency,enlargethescale.Asamethodofonlineprocurement,onlinebiddingappliesingovernmentinmostcases.It’sapplicationinlargescaleisinaminority.InChina,thecombinationwithgovernmentandonlineauctionisverycomplicated:notonlythevariedpolicyandstatestructure,butalsotheflourishonlineprocurementtechniquemustbetakenintoaccount.Implementcost,reliability,securityandupgradearealsoinvolved.Thistextanalysesandexpoundsthiskindofquestionsinahighpositionandgivesatheoreticalandadvancedsolution.Byworkfloworganization,managementandanalysistheory,itanalysestheonlinebiddingsystem’sreliability,reasonablenessandadvanceandinstructsthepracticeofgovernmentprocurement.Keywords:Workflow,PetriNet,GovernmentProcurement,OnlineBidding71.19081.220026292820031120039232491.3101.3.11.3.21.3.31.4PetriWF_net11(Process)(case)(resource)122.119995SHGPMIS20014200292.21312.32.4SEL93010L10010N(RAS)Com3PCAPPSVR3ComNASDBSVRMAILSVRCom33ComNASModemBankADSLModemBank2-2Fig.2-2HardwareToplogicStructure2.8173.13(Process)()3.2()()183.3()19(UNIXtalk)calkMaione203.4(case)(task)(resource)()(tacitknowledge)(explicitknowledge)()()(caseattribute)21()(oneofakind)(project)3z22zz3-1ManagerialprocessPrimaryprocessSupportprocess3-1Fig.3-1RelationshipAmongThreeTypesofProcesses()1995—2005()232070SkipEllisMichaelZismanZisman19772070EllisXeroxPARC2070EllisPetri()?2090()()(logistics)BPR()()(middleware)()24()3.5(Process)(case)(resource)254.1()4.1.1?14.1.2(ResourceClass)(Role)()26(OrganizationalUnit)4.1.3(Allocation)(4-1)(Attribute)triggerRoutingConditiontaskResourceRoleOrganizational_uintCaseProcessdefinitionResourceclassificationallocation4-1Fig.4-1AllocationRules()274.21)?2)?()z(FIFO)FIFOz(LIFO)28()z(SPT)(LPT)z(SRPT)(WIP)(LRPT)z(EDD)(context)EDDFIFOSRPTzz29z37Carl5Assessor31)2)(FIFOLIFOSPTEDD)()4.330()()5.15-1S-N1S-N2S-N3S-N4S-N5S-N6S-N7S-W1S-W2S-W3S-W4S-W5S-W6S-W75-1Fig.5-1MIS31125.25.2.1132OR-splitOR-split5-2Fig.5-2TripleApprovalProcess332OR-splitOR-splitAND-splitOR-splitOR-split5-3Fig.5-3OnlineBiddingProcess343OR-splitOR-splitOR-splitOR-joinOR-split5-4Fig.5-4OnlineAuctionProcess355.2.2PetriPetri(reachabilitygraph)P/T_STFKWM0[M0a)M0[M0b)M’[M0tTM’[tMM[M0M[M0MM0M0t1M1t2M2tnMnn1i0inM1−i[tiMiMnMMn[M15-51,0,0,0,0,0,0,0,00,1,0,0,0,0,0,0,00,0,1,0,0,0,0,0,00,0,0,1,0,0,0,0,00,0,0,0,1,0,0,0,00,0,0,0,0,1,0,0,00,0,0,0,0,0,1,0,00,0,0,0,0,0,1,0,05-5Fig.5-5ReachabilityGraphofTripleApprovalProcess25-6361,0,0,0,0,0,0,0,0,0,0,00,1,0,0,0,0,0,0,0,0,0,00,0,1,0,0,0,0,0,0,0,0,00,0,0,0,1,0,0,0,0,0,0,00,0,0,0,0,1,0,0,0,0,0,00,0,0,0,0,0,1,0,0,0,0,00,0,0,0,0,0,0,1,0,0,0,00,0,0,1,0,0,0,0,0,0,0,00,0,0,0,0,0,0,0,0,0,0,10,0,0,0,0,0,0,0,0,0,1,00,0,0,0,0,0,0,0,1,0,0,00,0,0,0,0,0,0,0,0,1,0,05-6Fig.5-6ReachabilityGraphofOnlineBiddingProcess35-71,0,0,0,0,0,0,0,0,0,0,00,1,0,0,0,0,0,0,0,0,0,00,0,1,0,0,0,0,0,0,0,0,00,0,0,0,1,0,0,0,0,0,0,00,0,0,0,0,1,0,0,0,0,0,00,0,0,0,0,0,1,0,0,0,0,00,0,0,0,0,0,0,1,0,0,0,00,0,0,1,0,0,0,0,0,0,0,00,0,0,0,0,0,0,0,0,1,0,00,0,0,0,0,0,0,0,0,0,1,00,0,0,0,0,0,0,0,1,0,0,00,0,0,0,0,0,0,0,0,0,0,15-7Fig.5-7ReachabilityGraphofOnlineAuctionProcess5.2.3()()37a)()--b)--c)--endd)--e)end--Ctask2task3endendf)--end5-80,1,0,0,0,0,0,0,00,0,1,0,0,0,0,0,00,0,0,1,0,0,0,0,00,0,0,0,0,1,0,0,00,0,0,0,0,0,1,0,00,0,0,0,0,0,1,0,05-8Fig.5-8RecycleStructureinTripleApprovalProcess385-90,0,0,0,0,1,0,0,0,0,0,00,0,0,0,0,0,1,0,0,0,0,00,0,0,1,0,0,0,0,0,0,0,00,0,0,0,0,0,0,0,0,0,1,00,0,0,0,0,0,0,0,0,1,0,05-9Fig.5-9RecycleStructureinOnlineBiddingProcess5-100,1,0,0,0,0,0,0,0,0,0,00,0,1,0,0,0,0,0,0,0,0,00,0,0,0,0,0,1,0,0,0,0,00,0,0,0,0,0,0,1,0,0,0,00,0,0,0,0,0,0,0,0,1,0,00,0,0,0,0,0,0,0,0,0,0,15-10Fig.5-10RecycleStructureinOnlineAuctionProcess()(sound)Petristartend()()startendstart()()end393(1)startend(2)end(3)()end?Petri(start)end1)--2)401)2)3)4)1)2)5-10end3)5-10end5.2.4411)2)3)z/zL=/(1-)zW=L/=/(-)zS=W+1/=1/(-),,0.100.110.804.000.98490.250.330.855.660.99990.501.000.909.000.9999990.753.000.9519.000.9999999980805/454201010201+10+101022.24225/z22.2/2588.8zL=7.93zW0.32zS0.3680905.3436.16.1.1?zzz()()44(performanceindicators)1)()2)()()()6.1.2(BPR)BPRBPRBPRBPRBPRBPRfundamental()radical()45dramatic()process()fundamental?RadicalBPRBPR()6.1.3BPR()()1?246(1)What?()(2)Why?(