文档介绍：万方数据
万方数据
建立该模型的主要思路是:首先对整个购物系统的总体进行设计,此时不用考虑各个机构内部的详细活动,利用姆植闾匦裕⒍ゲ愕腃模型。在此基础上再对各个机构内部的详细活动进行建模。由于供应商和生产商的工作流程是相似或CPN颜色集来区分各个机构,从而使库所和变迁的数量对于一次网上购物活动,根据不同的机构或个人的参与活动进行描述。首先用户通过电子商城选购到自己想要的商品,然后向电子商城提出申请,通过网上银行进行支付,银行通过验证的时候将信息订单。根据用户所定商品的类型和数量来通知供货商,如果供货商有足够的商品,则将商品发送给物流中心,否则将向生产商发出商品请求,然后再供给物流中心,最后由物流将商品发送给用户,用户最终得CPN在实际的电子商务系统中一般考虑各种因素,例如价格、送货时间、商品数量以及消耗的资源等。PetriCPN述模型中的声明,模型中用到的颜色集,变量和一些参数的定义如下:CPN购物系统,定义了颜色集;用于描述工作流中加强模型的解释能力,使模型含义更丰富,增加对工作流活动和状态转移建模的需求。由于颜色参数还可以根据不同的模型适当增加,因此模型也具有很函数,描述了被购买商品的传送过程。变量硎径┑バ枨蟮氖浚淞縅表示商品库存数量。函数,.的结果是:如果库存0如果库存商品不满足订单,则返回值唬甹表示没有传送的商品的数量。order(ii)order(iJ)为如下:如果库存有足够的商品,则不订购任何商0iJ会被先订购,同时向其他机构发出新的订单请求,要i+iJi当用户要求购某商品行件时网上商城将会根据银行的认证和自己的验证来确定用户的合法性,如果确定用户合法,则把用户的要求发送给供货商,由供货商来提供商品。(N)(z)否有行件商品,如果有,则将订件商品传给物流商,NN后向生产商要求补给以小玁件商品,使供货商的库存商品数量随着实际的变化而变化。2大为减少,使图形更加简约。发送给网上商城,商城通过验证之后开始处理用户到定购的商品。一个顶层的P腿缤所示。全局变量声明来描pIq辧lordelivery(ii)=if(ii)then琷猨;的机构。同时可以看出,通过这些颜色的增加,可以强的可扩展性。CPN中国石油大学学报匀豢蒲О图ゲ愕腃模型INT*Type*Role琺,篒;20068INT=intType=stringtTyperRole0e·
万方数据
CPNolsCPN3配表示“根据库存处理订单的过程”。该过程模拟数量。耶表示“向库存中增加商品的过程”。对于引入,该模型可以描述供货商、生产商以及很多在顾客和工厂之间的供货商。假设每个参与者都依据相同的标准来做出决策,如果他们的规则不同,就要为他们进行不同的建模方式。中只传递需求商品的数量。2供货商或生产商;表示“商品需求信息”,将商品的需求信息传递给能够满足需求的机构或个人;表示“库存商品的数量”;表示“生成下一级的订单”;表示“匹配过程”;表示“根据处理最终传递给请求者的商品数量”;表示“下级传递回来的s源;表示“将结果传给下一个机构”。对于生产商P6=P3商品,之后直接将商品转入库存。表示“处理生成订单”。根据需求信息和库存量来判断如何生成订单。如果库存量能够满足需求,则将需求信息传递给匹配过程,此时规,,对于供货商表示不需要向生产商要求商品,对生产商无订单要求。了传递商品的行为,由于此处已