Lecture4 (B) 基于Petri网的建模技术

1、上海交通大学信息系统实验室上海交通大学信息系统实验室1Lecture4 Lecture4 步丰林步丰林bu-上海交通大学信息系统实验室上海交通大学信息系统实验室2 1. 基于基于Petri网的工作流建模网的工作流建模 2. 过程定义过程定义 3. 资源分类资源分类 4. 资源分配资源分配及管理规则及管理规则 5. 工作流的分析方法工作流的分析方法 6. 一个物流系统建模实例一个物流系统建模实例 7.小结小结上海交通大学信息系统实验室上海交通大学信息系统实验室3 基于基于Petri Net的工作流建模的工作流建模由以下三部分构成由以下三部分构成: : 过程定义过程定义: : 对过程自身的描述对过

2、程自身的描述 资源分类资源分类: :对所使用的资源进行的分类对所使用的资源进行的分类 资源资源分配及管理分配及管理规则规则: : 将工作映射到资源上将工作映射到资源上上海交通大学信息系统实验室上海交通大学信息系统实验室4What?How?By whom?beginrealizationobjectivestasks andprocessesresources andschedulinganalyzeanalyzeanalyzetextresource classificationallocation rulesprocess definition上海交通大学信息系统实验室上海交通大学信息系统实

3、验室5 1. 基于基于Petri网的工作流建模网的工作流建模 2. 过程定义过程定义 3. 资源分类资源分类 4. 资源分配资源分配及管理规则及管理规则 5. 工作流的分析方法工作流的分析方法 6. 一个物流系统建模实例一个物流系统建模实例 7.小结小结上海交通大学信息系统实验室上海交通大学信息系统实验室6工作流基本概念主要有工作流基本概念主要有: : 案例案例(Case)(Case)工作流的处理单元；工作流的处理单元； 任务（任务（TaskTask）工作的逻辑单元工作的逻辑单元 过程（过程（ProcessProcess） 描述了案例的执行方式描述了案例的执行方式 路由（路由（RouterRo

4、uter）根据过程决定的任务执行的分支及次序根据过程决定的任务执行的分支及次序 启动（启动（Trigger Trigger ） 工作工作项执行的触发条件项执行的触发条件过程定义过程定义上海交通大学信息系统实验室上海交通大学信息系统实验室7 有限的生命周期，对应一个工作流的开始和结束；有限的生命周期，对应一个工作流的开始和结束； 案例在某生命周期内的某个状态，有三个元素：案例在某生命周期内的某个状态，有三个元素： 相关属性的值；相关属性的值；可随案例进展而发生变化；可随案例进展而发生变化； 已经满足的条件；已经满足的条件；说明案例进展；说明案例进展； 案例的内容；案例的内容；工作流系统通常不保存

5、案例内容和细节；工作流系统通常不保存案例内容和细节；上海交通大学信息系统实验室上海交通大学信息系统实验室8 工作的逻辑单元，不可分割且必须完整执行；工作的逻辑单元，不可分割且必须完整执行； 我们区分任务：我们区分任务： 手动的任务（手动的任务（manualmanual）； 自动的任务自动的任务(automatic)(automatic)； 半自动的任务半自动的任务(semi-automatic)(semi-automatic)； 任务泛指一般的工作单元，并非某案例的一任务泛指一般的工作单元，并非某案例的一次具体执行：次具体执行： 工作项（工作项（Work Item）:案例和将要执行任务的结案例

6、和将要执行任务的结合体；合体； 活动（活动（Activity）：工作项的实际执行；）：工作项的实际执行；上海交通大学信息系统实验室上海交通大学信息系统实验室9 案例的执行方式由相关过程来描述，可以把过程看案例的执行方式由相关过程来描述，可以把过程看作是某种案例类型的程序；作是某种案例类型的程序； 过程可能由多个子过程构成，每个子过程又由其他过程可能由多个子过程构成，每个子过程又由其他的任务、条件以及可能更细致的子过程组成。的任务、条件以及可能更细致的子过程组成。 过程定义了案例的生命周期，因此每个过程都有开过程定义了案例的生命周期，因此每个过程都有开始和结束，用来标识案例的出现和完成；始和结束

7、，用来标识案例的出现和完成；上海交通大学信息系统实验室上海交通大学信息系统实验室10 路由决定了哪些任务需要被执行或以何种次序执路由决定了哪些任务需要被执行或以何种次序执行；行； 有四种路由的基本结构：有四种路由的基本结构： 顺序执行；顺序执行； 并行路由：两个任务能同时或以次序持续执行。并行路由：两个任务能同时或以次序持续执行。AND-split, AND-join 选择路由选择路由:OR-split, OR-join； 循环路由循环路由:上海交通大学信息系统实验室上海交通大学信息系统实验室11 工作项执行的触发条件；工作项执行的触发条件； 有四种触发方式：有四种触发方式： 外部触发：资源驱

8、动下的外部触发；外部触发：资源驱动下的外部触发； 消息触发：需要外部事件触发；消息触发：需要外部事件触发； 时间触发：时间信号触发；时间触发：时间信号触发； 自动触发：不需要外部激励便可立即执行；自动触发：不需要外部激励便可立即执行；上海交通大学信息系统实验室上海交通大学信息系统实验室12 过程实例是依据过程实例是依据过程过程定义所需要完成的具体事情定义所需要完成的具体事情( (被称为：过程实例，工作，项目被称为：过程实例，工作，项目) )( (例如：例如：销售订单，报税，保险赔偿申报销售订单，报税，保险赔偿申报) ) 实例的状态由下列方面决定实例的状态由下列方面决定: : 实例变量实例变量

9、( (实例的参数实例的参数) )实例的逻辑参数，被用于实例过程的路由实例的逻辑参数，被用于实例过程的路由. . 条件条件 被满足的需求被满足的需求 内容内容( (应用数据应用数据) )可能由其它系统管理可能由其它系统管理上海交通大学信息系统实验室上海交通大学信息系统实验室13一般的逻辑工作单元，而不是过程实例的一次一般的逻辑工作单元，而不是过程实例的一次执行；执行； 注意下面的概念的区别注意下面的概念的区别: 任务任务A logical step which may be executed for many cases. 工作项工作项 = task + caseA logical step w

10、hich may be executed for a specific case. 活动活动 = task + case + (resource) + (trigger)The actual execution of a task for a specific case.工作项和活动是任务的实例工作项和活动是任务的实例2.2 任务任务上海交通大学信息系统实验室上海交通大学信息系统实验室14执行中TaskWork ItemCaseactivity上海交通大学信息系统实验室上海交通大学信息系统实验室15过程过程 过程定义描述了所需的步骤和它们执行的顺序过程定义描述了所需的步骤和它们执行的顺序. .

11、( (路由定义，步骤，工作流脚本路由定义，步骤，工作流脚本) )( (销售订单，报税，保险赔偿申报销售订单，报税，保险赔偿申报) ) 过程定义由以下组成过程定义由以下组成: : 任务任务 ( (步骤，活动，过程元素步骤，活动，过程元素) )任务是原子的：提交或者回滚任务是原子的：提交或者回滚. . 条件条件 ( (状态，阶段，需求状态，阶段，需求) )条件被用于确定某一任务是否可以被激活条件被用于确定某一任务是否可以被激活. . 子过程子过程过程的分解过程的分解上海交通大学信息系统实验室上海交通大学信息系统实验室16taskconditioncaseSub-processcase variab

12、les上海交通大学信息系统实验室上海交通大学信息系统实验室17 顺序顺序first A then B 并行并行A and B at the same time or in any order AND-split AND-join 选择选择A or B OR-split OR-join 迭代迭代multiple As上海交通大学信息系统实验室上海交通大学信息系统实验室18用来定义一系列按固定顺序串行执行的活动。用来定义一系列按固定顺序串行执行的活动。”先先 A， 接着接着B， 然后然后C”ABC上海交通大学信息系统实验室上海交通大学信息系统实验室19定义没有严格执行顺序的，可同时进行的分支活动；

13、定义没有严格执行顺序的，可同时进行的分支活动；A and B at the same time or in any orderABAND-splitAND-join上海交通大学信息系统实验室上海交通大学信息系统实验室20定义彼此之间具有相互制约与排斥关系的分支活动，定义彼此之间具有相互制约与排斥关系的分支活动，往往根据具体执行情况来从中进行往往根据具体执行情况来从中进行“多选一多选一”或或“多选多多选多”。 A or BABOR-splitOR-join上海交通大学信息系统实验室上海交通大学信息系统实验室21Implicit choice: it depends on the eagernes

14、s of A and B!隐性或分支隐性或分支ABOR-splitOR-join上海交通大学信息系统实验室上海交通大学信息系统实验室22选择是显式的，可以基于逻辑值选择是显式的，可以基于逻辑值explicit OR-split ABOR-splitOR-join显示或分支显示或分支X=0X0上海交通大学信息系统实验室上海交通大学信息系统实验室23AND-splitAND-joinExplicit OR-splitOR-join上海交通大学信息系统实验室上海交通大学信息系统实验室24ABCB may be executed several times.定义需要迭代或重复执行多次的活动。定义需要迭

15、代或重复执行多次的活动。上海交通大学信息系统实验室上海交通大学信息系统实验室25 在现实中，系统不能强迫事情发生在现实中，系统不能强迫事情发生: : 为了执行任务，需要为了执行任务，需要EDIEDI消息的到达消息的到达. . 执行某一实例的任务所需要的资源执行某一实例的任务所需要的资源. . 纸面文件的到达纸面文件的到达. . 确认购买订单的电话确认购买订单的电话 是一个响应式系统，也就是说它被环境触发是一个响应式系统，也就是说它被环境触发 某些任务需要触发条件某些任务需要触发条件上海交通大学信息系统实验室上海交通大学信息系统实验室26 四种类型的任务及其表示四种类型的任务及其表示: : 自动

16、自动不需要任务触发不需要任务触发 人工：人工：用户操作需要资源作为启动需要资源作为启动 消息：消息：外部触发需要外部的事件（如消息，电话）需要外部的事件（如消息，电话） 时间时间任务需要时间触发任务需要时间触发上海交通大学信息系统实验室上海交通大学信息系统实验室27However, we will omit the extra place.AAtrigger token上海交通大学信息系统实验室上海交通大学信息系统实验室28A (sub) process has one input and one output place.上海交通大学信息系统实验室上海交通大学信息系统实验室29 1. 基于基

17、于Petri网的工作流建模网的工作流建模 2. 过程定义过程定义 3. 资源分类资源分类 4. 资源分配资源分配及管理规则及管理规则 5. 工作流的分析方法工作流的分析方法 6. 一个物流系统建模实例一个物流系统建模实例 7.小结小结上海交通大学信息系统实验室上海交通大学信息系统实验室30 资源资源(participant, actor, user, agent) 一个资源可以执行某些实例的某些任务一个资源可以执行某些实例的某些任务Human and/or non-human (printer, modem): limited capacity. 资源类别资源类别具有共同特征的资源集合具有共同

18、特征的资源集合资源类别的定义基于资源类别的定义基于: 角色角色(skill, competence, qualification)基于能够做什么基于能够做什么. 小组小组(department, team, office, organizational unit)基于组织信息基于组织信息.上海交通大学信息系统实验室上海交通大学信息系统实验室31SjaakKeesKevinJanPimTruusAnitaIvoneKoosMiesSecretarySalesSales_clerkFrankAdOffice_workerManagerPurchaseEindhovenAmsterdam上海交通大学

19、信息系统实验室上海交通大学信息系统实验室32SjaakKeesKevinJanPimTruusAnitaIvoneKoosMiesSecretarySales_clerkFrankAdOffice_workerManager上海交通大学信息系统实验室上海交通大学信息系统实验室33SjaakKeesKevinJanPimTruusAnitaIvoneKoosMiesSalesFrankAdPurchaseEindhovenAmsterdam上海交通大学信息系统实验室上海交通大学信息系统实验室34 资源定义一个资源可能属于多个类别一个资源可能属于多个类别resourcesrolesgroups上海

20、交通大学信息系统实验室上海交通大学信息系统实验室35resources distributed over roles and groups上海交通大学信息系统实验室上海交通大学信息系统实验室36 1. 基于基于Petri网的工作流建模网的工作流建模 2. 过程定义过程定义 3. 资源分类资源分类 4. 资源分配资源分配及管理规则及管理规则 5. 工作流的分析方法工作流的分析方法 6. 一个物流系统建模实例一个物流系统建模实例 7.小结小结上海交通大学信息系统实验室上海交通大学信息系统实验室37 将工作项将工作项 (task + case) 分配到资源。分配到资源。 工作流系统的目标是为了尽可能

21、快捷地完成工作工作流系统的目标是为了尽可能快捷地完成工作项，为了实现案例到活动的转化；项，为了实现案例到活动的转化； 工作流服务器必须决定工作流服务器必须决定: 由谁做什么，或者说活动的执行采用哪个资源。由谁做什么，或者说活动的执行采用哪个资源。Push and pull control, load balancing, specialization, flexibility. 以什么样的顺序以什么样的顺序?FIFO, LIFO, SPT, EDD, priority control.上海交通大学信息系统实验室上海交通大学信息系统实验室38工作流中资源的选择过程工作流中资源的选择过程是一个是一

22、个资源与工作项的比对过程资源与工作项的比对过程； （1）遵循工作流中的约束）遵循工作流中的约束: 任务上一般标记有对资源类别的要求任务上一般标记有对资源类别的要求 资源被指定为若干类型资源被指定为若干类型 其它约束其它约束: separation issues, case management.上海交通大学信息系统实验室上海交通大学信息系统实验室39（2）资源选择策略）资源选择策略 让资源发挥专长，针对任务特性的划分专长；让资源发挥专长，针对任务特性的划分专长； 让一个资源连续做类似的任务，缩短预热或准备让一个资源连续做类似的任务，缩短预热或准备时间；时间； 预留弹性资源，让还有可选余地情况下

23、，尽量让预留弹性资源，让还有可选余地情况下，尽量让通用性好的资源空闲；通用性好的资源空闲；上海交通大学信息系统实验室上海交通大学信息系统实验室40（3）工作项分配资源的模式：）工作项分配资源的模式： 推模式：引擎工作流将资源推模式：引擎工作流将资源“推推”到工作项。到工作项。 引擎把工作项和资源进行匹配，资源自身不能选择，一引擎把工作项和资源进行匹配，资源自身不能选择，一旦资源执行完一个活动，他就被分给一个新的工作项。旦资源执行完一个活动，他就被分给一个新的工作项。 拉模式：资源拉模式：资源“拉拉”动工作项。动工作项。 资源主动考察能够执行的工作项，并从中选择一个。资源主动考察能够执行的工作项

24、，并从中选择一个。 一般采取介于推动和拉动之间的方法，采用拉动原则，同一般采取介于推动和拉动之间的方法，采用拉动原则，同时用工作流引擎生成的工作项次序作为辅助手段。时用工作流引擎生成的工作项次序作为辅助手段。上海交通大学信息系统实验室上海交通大学信息系统实验室41资源排队原则资源排队原则 先进先出（先进先出（FIFO） 后进先出（后进先出（LIFO） 最短处理时间（最短处理时间（SPT） 最短剩余处理时间（最短剩余处理时间（SRPT） 最早截止期限（最早截止期限（EDD） 每一种排队规则所需的信息量存在很大不同。还每一种排队规则所需的信息量存在很大不同。还有一些更高级的排队规则，甚至包含对未来

25、状态有一些更高级的排队规则，甚至包含对未来状态的预测信息。的预测信息。上海交通大学信息系统实验室上海交通大学信息系统实验室42 work item activity groupresource class specificcase variable specific case task resource roleN10/1111NMNNNNNISAofofbelongs tobyforof assignment1NMMMtoofbased oncase variable case type11NNMNis_ahasof上海交通大学信息系统实验室上海交通大学信息系统实验室43 1. 基于基于Pe

26、tri网的工作流建模网的工作流建模 2. 过程定义过程定义 3. 资源分类资源分类 4. 资源分配资源分配及管理规则及管理规则 5. 工作流的分析方法工作流的分析方法 6. 一个物流系统建模实例一个物流系统建模实例 7.小结小结上海交通大学信息系统实验室上海交通大学信息系统实验室44 可达性分析；可达性分析； 结构分析；结构分析； 性能分析性能分析 能力规划能力规划上海交通大学信息系统实验室上海交通大学信息系统实验室455.1 过程的可达性分析过程的可达性分析 Petri网的初始状态决定了哪些状态可以达到，以网的初始状态决定了哪些状态可以达到，以及他们的次序；及他们的次序； 可达图（可达图（r

27、each ability graph）被用来描述工作）被用来描述工作流的行为。流的行为。上海交通大学信息系统实验室上海交通大学信息系统实验室46claimUnderConsiderationready记录记录赔偿赔偿发信拒绝发信拒绝（3，0，0）（2，1，0）（1，2，0）（0，3，0）（2，0，1）（1，1，1）（0，2，1）（1，0，2）（0，1，2）（0，0，3）上海交通大学信息系统实验室上海交通大学信息系统实验室475.2 过程的结构分析过程的结构分析定义过程中常见的错误：定义过程中常见的错误：1. 任务任务没有输入或输出没有输入或输出条件；条件；2. 存在存在死任务死任务：任务永远不

28、能被执行；：任务永远不能被执行；3. 存在存在死锁死锁：任务在到达：任务在到达end前发生了阻塞；前发生了阻塞；4. 存在存在活锁活锁：把案例带进无休止的循环；：把案例带进无休止的循环；5. 在到达在到达end后，后，仍有活动执行仍有活动执行；6. 案例完成后，定义的过程中案例完成后，定义的过程中仍然存在标记仍然存在标记；上海交通大学信息系统实验室上海交通大学信息系统实验室48Situation A无输入条件无输入出条件上海交通大学信息系统实验室上海交通大学信息系统实验室49Situation B死任务死锁上海交通大学信息系统实验室上海交通大学信息系统实验室50Situation C活锁Tas

29、k2,Task3到达终点后还会被实施上海交通大学信息系统实验室上海交通大学信息系统实验室51Situation D死任务Task1到达终点后，Task3前的库所还有标记存在。上海交通大学信息系统实验室上海交通大学信息系统实验室52合理性分析合理性分析每个合理（每个合理（Sound）过程都必须满足以下要求：）过程都必须满足以下要求： 过程不包含不必要的任务；过程不包含不必要的任务； 每个提交的案例必须能够完全完成；每个提交的案例必须能够完全完成； 完成后再没有对案例的引用；完成后再没有对案例的引用；上海交通大学信息系统实验室上海交通大学信息系统实验室535.3 性能分析性能分析工作流的性能反映了

30、工作流定量方面的特性：工作流的性能反映了工作流定量方面的特性： 案例完成时间，案例完成时间， 单位时间处理案例数量，单位时间处理案例数量， 资源利用率，资源利用率， 预定标准时间完成案例的百分比等。预定标准时间完成案例的百分比等。工作流性能分析主要有以下方法：工作流性能分析主要有以下方法： 马尔科夫链：马尔科夫链：实际上就是增加了转移概率的可达图；实际上就是增加了转移概率的可达图； 排队论：排队论：难适应有并发路由的情况；难适应有并发路由的情况； 仿真仿真：图示仿真工具应用较为普遍；：图示仿真工具应用较为普遍；上海交通大学信息系统实验室上海交通大学信息系统实验室54工作流过程设计要遵循的三个方

31、针：工作流过程设计要遵循的三个方针： 尽可能并行执行任务；并行处理能缩短处理时间；尽可能并行执行任务；并行处理能缩短处理时间； 争取提高资源弹性。确保资源能胜任尽可能多的任争取提高资源弹性。确保资源能胜任尽可能多的任务，弹性资源地使用能带来高水平的资源利用率和务，弹性资源地使用能带来高水平的资源利用率和较短的完成时间；较短的完成时间； 尽可能以处理时间为序来处理案例，通常，最好给尽可能以处理时间为序来处理案例，通常，最好给处理时间短的案例比处理时间长的案例更高优先级。处理时间短的案例比处理时间长的案例更高优先级。上海交通大学信息系统实验室上海交通大学信息系统实验室555.4 能力规划能力规划

32、能力规划说明每个时期都需要什么类型资源以及能力规划说明每个时期都需要什么类型资源以及资源的数量；资源的数量； 能力规划可分为短期规划和长期规划。能力规划可分为短期规划和长期规划。 在短期规划中，主要考虑的因素有工作量波动、在短期规划中，主要考虑的因素有工作量波动、病假、放假、加班、临时工的聘用等；病假、放假、加班、临时工的聘用等； 长期规划中，主要考虑的因素有：需求预测、季长期规划中，主要考虑的因素有：需求预测、季节性影响、机器采购、招新策略等；节性影响、机器采购、招新策略等；上海交通大学信息系统实验室上海交通大学信息系统实验室56 1. 基于基于Petri网的工作流建模网的工作流建模 2.

33、过程定义过程定义 3. 资源分类资源分类 4. 资源分配资源分配及管理规则及管理规则 5. 工作流的分析方法工作流的分析方法 6. 一个物流系统建模实例一个物流系统建模实例 7.小结小结上海交通大学信息系统实验室上海交通大学信息系统实验室57基于基于Petri网的仓储物流系统建模与仿真网的仓储物流系统建模与仿真 一个典型的现代仓储物流系统包含入库台、输一个典型的现代仓储物流系统包含入库台、输送带、送带、AGV 自动导引小车、堆垛机、托盘、自动导引小车、堆垛机、托盘、货架、空托盘堆放区、分拣区、出库台等。货架、空托盘堆放区、分拣区、出库台等。 这个物流系统的运作流程主要有出库及入库流这个物流系统

34、的运作流程主要有出库及入库流程：程： 上海交通大学信息系统实验室上海交通大学信息系统实验室58 入库流程入库流程: 仓库收到入库消息仓库收到入库消息货物进入库台货物进入库台到达输送带到达输送带在输送的过程中向等待的在输送的过程中向等待的AGV 发出发出请求请求AGV 取货取货取货的过程中向堆垛机发出请取货的过程中向堆垛机发出请求求堆垛机送货到各个货位堆垛机送货到各个货位. 出库流程出库流程: 按照出库单查询出库货物的具体库位按照出库单查询出库货物的具体库位堆垛机取货堆垛机取货货物进入分拣系统输送带货物进入分拣系统输送带分拣分拣系统拣货系统拣货出库出库 (空托盘清理空托盘清理).上海交通大学信息

35、系统实验室上海交通大学信息系统实验室59P1 :空闲空闲AGV，待命出发，待命出发P2: 缓冲站缓冲站上货物等待运送上货物等待运送P3:AGV取货送往仓库取货送往仓库P4 :货物一卸载在入库台货物一卸载在入库台t1 :AGV取缓冲站上货物事件取缓冲站上货物事件t2 :AGV上货物卸载在入库台事件上货物卸载在入库台事件上海交通大学信息系统实验室上海交通大学信息系统实验室60 2辆辆AGV，4箱成品货物，箱成品货物，t1触发，触发，1箱货物转移。箱货物转移。上海交通大学信息系统实验室上海交通大学信息系统实验室61上海交通大学信息系统实验室上海交通大学信息系统实验室62参数参数 其中入库台的容量设为

36、其中入库台的容量设为200,AGV 的容量设为的容量设为2, 衔接区的容量为衔接区的容量为3, 货架的容量为货架的容量为60, 货架上每个货架上每个货位的容量为货位的容量为2, 分拣区和出库台的容量均为分拣区和出库台的容量均为1000, 输送带为可积放式输送带为可积放式, 其容量为其容量为20。 位置的容量可以代表标识数位置的容量可以代表标识数(或或token 数数)。每条。每条边上的数据均为权数边上的数据均为权数, 未加权数的边其权数都默未加权数的边其权数都默认为认为1, 权数为权数为- 1 的边的权数为任意。的边的权数为任意。 当每个位置的标识数达到了其输出边的权数当每个位置的标识数达到了

37、其输出边的权数, 则则T 即事件发生。即事件发生。 设货物进入库台的延迟时间为设货物进入库台的延迟时间为30 s。上海交通大学信息系统实验室上海交通大学信息系统实验室63 仿真开始后仿真开始后, 当位置当位置“入库消息入库消息”收到了收到了10 个个token 量的货物时量的货物时, 事件事件“进入库台进入库台”便启动发生便启动发生,后续位置后续位置“入库台入库台”接收到了接收到了10 个个token 量的货量的货物。物。 接着后续事件启动接着后续事件启动, 货物到达货物到达“输送带输送带”, token不断传递不断传递, 各个后续事件逐一被启动。各个后续事件逐一被启动。 上海交通大学信息系统

38、实验室上海交通大学信息系统实验室64 其中其中AGV 小车在收到输送请求及空闲小车在收到输送请求及空闲AGV 的的token 为为1 时才触发时才触发, 并在衔接区取货并在衔接区取货,且同时向空闲堆垛机且同时向空闲堆垛机输出一个输出一个token, 在堆垛机取货后在堆垛机取货后,AGV 空车返回空空车返回空闲处等待。闲处等待。 同样同样, 堆垛机在载货行走至货位、堆垛后返回原处。堆垛机在载货行走至货位、堆垛后返回原处。 在分拣区在分拣区,可依所需的包装数量进行设置其可依所需的包装数量进行设置其token、变迁的容量。此时设置的变迁的容量均为变迁的容量。此时设置的变迁的容量均为50。 空托盘的清

39、理按定量方式进行空托盘的清理按定量方式进行, 例中例中, 其容量定为其容量定为50 个个token, 即即50 个托盘作一次处理个托盘作一次处理, 处理后在托盘堆处理后在托盘堆放区增加一个放区增加一个token。上海交通大学信息系统实验室上海交通大学信息系统实验室65 在仿真运行到在仿真运行到20 m in 左右时左右时, 入库台的容量达到入库台的容量达到饱和。入库台不再按设置的延迟时间每隔饱和。入库台不再按设置的延迟时间每隔30s 收收10 个个token 的货物的货物, 而是在相差大约而是在相差大约15 个个token的货物时的货物时, 自动传递自动传递10 个个token。 当仿真运行到

40、当仿真运行到25 m in 12 s 时时, 入库台的入库台的token数数为为192 个个, 散放空托盘积累了散放空托盘积累了30 个个, 空托盘堆放区空托盘堆放区已有已有9 堆堆(每堆是每堆是50 个个) , 出库货物为出库货物为450 个个token的量的量; 当仿真运行到当仿真运行到50 m in36 s 的时候的时候, 入库台的入库台的token 数为数为187 个个, 没有散放的空托盘没有散放的空托盘, 空托盘堆放区已空托盘堆放区已有有20 堆堆, 出库货物为出库货物为950 个托肯的量。个托肯的量。 上海交通大学信息系统实验室上海交通大学信息系统实验室66 基于基于Petri 网的物流系统仿真能够清楚地展现在逻网的物流系统仿真能够清楚地展现在逻辑时序下整个仓储系统的工作流程及系统特性辑时序下整个仓储系统的工作流程及系统特性. 从仿真结果数据来看从仿真结果数据来看, 入库量与出库量持平入库量与出库量持平, 系统系统运行良好。运行良好。 然而然而, 用用Petri 网仿真网仿真, 只能模拟得出流程关系只能模拟得出流程关系,