为了实现飞机总装生产线精确建模和提高建模效率,提出层次时间着色Petri网(Hierachical Timed Color Petri Net,HTCPN)多层级理论模型,定义了HTCPN层次化建模方法。针对某飞机总装生产线站位划分的多层级、多粒度特点,利用CPN Tools工具...为了实现飞机总装生产线精确建模和提高建模效率,提出层次时间着色Petri网(Hierachical Timed Color Petri Net,HTCPN)多层级理论模型,定义了HTCPN层次化建模方法。针对某飞机总装生产线站位划分的多层级、多粒度特点,利用CPN Tools工具对A1、A2和A3三种型号飞机总装配过程进行HTCPN建模,根据交货期前后设置优先级,并在每个站位的装配过程中嵌套质量检测模型。最后对模型进行10次仿真,统计平均作业时间分别为78.4、93.2、102.4 h,产品总收益率为82.7%。展开更多
赋时着色 Petri 网(TCPN)在着色 Petri 网(CPN)基础上引入时间概念,更适于复杂系统建模仿真。其库所赋时实施规则同 CPN,变迁赋时实施规则将令牌移入变迁的输出库所。基于 TCPN 优先权服务排队系统,用 CPN的元语言实现优先权排队,由于...赋时着色 Petri 网(TCPN)在着色 Petri 网(CPN)基础上引入时间概念,更适于复杂系统建模仿真。其库所赋时实施规则同 CPN,变迁赋时实施规则将令牌移入变迁的输出库所。基于 TCPN 优先权服务排队系统,用 CPN的元语言实现优先权排队,由于时间引入,可真实模拟顾客到达时间和服务台服务时间。展开更多
着色赋时的面向对象Petri网(Colored Ti med Object-Oriented Petri Net,CTOPN)是在面向对象Petri网的基础上,添加了着色令牌和输入输出变迁函数的概念而形成的,是Petri网的扩展形式.给出了CTOPN的基本定义和建立CTOPN模型的方法,给出了...着色赋时的面向对象Petri网(Colored Ti med Object-Oriented Petri Net,CTOPN)是在面向对象Petri网的基础上,添加了着色令牌和输入输出变迁函数的概念而形成的,是Petri网的扩展形式.给出了CTOPN的基本定义和建立CTOPN模型的方法,给出了CTOPN在自动制造系统(Automated Manufacturing Systems,AMS)中的应用实例,最后对模型进行了死锁分析.CTOPN可以准确地描述复杂系统的静态结构及动态特性,能够成为面向对象系统的一种形式化的建模工具.展开更多
文摘为了实现飞机总装生产线精确建模和提高建模效率,提出层次时间着色Petri网(Hierachical Timed Color Petri Net,HTCPN)多层级理论模型,定义了HTCPN层次化建模方法。针对某飞机总装生产线站位划分的多层级、多粒度特点,利用CPN Tools工具对A1、A2和A3三种型号飞机总装配过程进行HTCPN建模,根据交货期前后设置优先级,并在每个站位的装配过程中嵌套质量检测模型。最后对模型进行10次仿真,统计平均作业时间分别为78.4、93.2、102.4 h,产品总收益率为82.7%。
文摘赋时着色 Petri 网(TCPN)在着色 Petri 网(CPN)基础上引入时间概念,更适于复杂系统建模仿真。其库所赋时实施规则同 CPN,变迁赋时实施规则将令牌移入变迁的输出库所。基于 TCPN 优先权服务排队系统,用 CPN的元语言实现优先权排队,由于时间引入,可真实模拟顾客到达时间和服务台服务时间。
文摘着色赋时的面向对象Petri网(Colored Ti med Object-Oriented Petri Net,CTOPN)是在面向对象Petri网的基础上,添加了着色令牌和输入输出变迁函数的概念而形成的,是Petri网的扩展形式.给出了CTOPN的基本定义和建立CTOPN模型的方法,给出了CTOPN在自动制造系统(Automated Manufacturing Systems,AMS)中的应用实例,最后对模型进行了死锁分析.CTOPN可以准确地描述复杂系统的静态结构及动态特性,能够成为面向对象系统的一种形式化的建模工具.
