提出了初始化弧的概念,并将这一概念引入高级时间Petri网中,从而给出了扩展的高级时间Petri网(Extended High-Level Time Petri Nets-EHLTPN)。此外,在EHLTPN模型中,变迁所附加的常量时间区间扩展为变量时间区间。用EHLTPN对实时数据库...提出了初始化弧的概念,并将这一概念引入高级时间Petri网中,从而给出了扩展的高级时间Petri网(Extended High-Level Time Petri Nets-EHLTPN)。此外,在EHLTPN模型中,变迁所附加的常量时间区间扩展为变量时间区间。用EHLTPN对实时数据库系统的并发事务进行了建模,所建模型不仅可以描述并发事务在数据存取中所出现的各种现象,而且还可以实现2PL-LW协议所具有的可避免并发事务的无用重启、无用等待、无死锁的等功能。展开更多
在"一带一路"时代背景下,新疆的畜牧业发展迎来春天,且伴随着人们生活水平的不断提高,对食品质量安全更为关注。针对新疆的肉牛养殖环节,构建、验证基于扩展Petri网的肉牛养殖工作流模型,并结合射频识别(radio frequency iden...在"一带一路"时代背景下,新疆的畜牧业发展迎来春天,且伴随着人们生活水平的不断提高,对食品质量安全更为关注。针对新疆的肉牛养殖环节,构建、验证基于扩展Petri网的肉牛养殖工作流模型,并结合射频识别(radio frequency identification,RFID)技术搭建溯源模型,该模型可提高数据采集的效率与精度,加快肉牛养殖企业的信息化、自动化建设步伐,实现肉牛养殖过程的可追溯性。展开更多
文摘提出了初始化弧的概念,并将这一概念引入高级时间Petri网中,从而给出了扩展的高级时间Petri网(Extended High-Level Time Petri Nets-EHLTPN)。此外,在EHLTPN模型中,变迁所附加的常量时间区间扩展为变量时间区间。用EHLTPN对实时数据库系统的并发事务进行了建模,所建模型不仅可以描述并发事务在数据存取中所出现的各种现象,而且还可以实现2PL-LW协议所具有的可避免并发事务的无用重启、无用等待、无死锁的等功能。
文摘在"一带一路"时代背景下,新疆的畜牧业发展迎来春天,且伴随着人们生活水平的不断提高,对食品质量安全更为关注。针对新疆的肉牛养殖环节,构建、验证基于扩展Petri网的肉牛养殖工作流模型,并结合射频识别(radio frequency identification,RFID)技术搭建溯源模型,该模型可提高数据采集的效率与精度,加快肉牛养殖企业的信息化、自动化建设步伐,实现肉牛养殖过程的可追溯性。
