基于petri网的政务信息资源管理模型的研究

充分利用petri网技术在系统建模领域的优势,通过扩展petri网的概念,定义面向对象的有色petri网oonet.并以oonet为基础,提出对电子政务资源配置进行动态管理的政务信息资源管理模型.     

基于扩展的层次有色petri网的组合服务测试用例生成

为了更好地对Web组合服务中各个服务间的交互行为进行测试,提出了一种基于扩展的层次有色petri网的组合服务测试用例生成方法.首先将OWL-S文档映射成为扩展的层次有色petri网,使其中丰富的语义信息、数据流信息和控制流信息模型化.然后利用扩展的层次有色petri网,着重对各服务之间的数据流关系进行分析,找到所有的输出输入定义使用链,并将其扩展成可执行的测试序列,最后将测试序列和测试数据组合,生成测试用例.其中生成的所有测试序列符合全定义一使用路径覆盖标准.     

基于能量优化方法的petri网系统的可达性研究

petri网系统的可达性问题是系统的状态、行为分析的基础.本文主要研究了通过建立能量优化模型方法和神经网络技术来实现可达性问题,并给出了能量优化模型的神经网络算法设计.     

基于Petri网的考试系统智能出卷的研究

一般的网络考试系统是从题库中随机选题组卷,容易造成考卷难度不一影响考试的公平性.提出了使用petri网模型,采用启发式随机替换算法来控制考试系统出题难度的解决方案.     

基于petri网的校园一卡通系统优化分析

构建基于petri网的校园卡使用模型,通过增加控制结构优化系统,让使用者通过系统清晰地获得信息,实现校园洗浴系统的优化,给用户带来更加人性化的洗浴体验.仿真软件验证结果表明,系统能够满足peteri网的有界性和安全性,运行良好.     

基于Petri网的电商平台快递配送服务的模型优化

针对电商平台快递配送服务的单用户单址服务的问题,提出了一种基于Petri网的电商平台快递配送服务流程模型的优化分析方案。首先,按照其基本流程建立了Petri网模型,与实际情况进行比较分析,发现此流程模型中存在诸多不足。然后通过增加或删除相应的控制结构,在原有模型的基础上进行优化。对此提出了一种亲情址的概念,实现了“多用户”的“多址”功能。让快递在分拣之后可以统一通知用户,节约配送员的时间,使得用户不用再重复去提取快递。最后,为了更清晰地表达优化后模型各个节点之间的关系,使用了PM4Py对优化的模型可视化为Petri网模型,再将其转换为流程树,并用PIPE软件仿真说明优化后的模型具有可行性和有效性。     

基于随机Petri网的弹药销毁系统可靠性分析

随着各国的军事实力越来越强,军事工业也越来越发达,不可避免地将出现废弃或者多余的弹药需要销毁,因此弹药销毁系统越来越受到关注。本文采用基于随机petri网的建模方式,对采用爆炸法的弹药销毁系统的前期流程和实施过程分别进行了建模,并进行了基于petri网的转化,最后进行系统的可靠性分析和计算。通过计算验证了该可靠性分析方法的可行性及有效性。     

设备维修流程的petri网模型研究

从简单Petri网开始,用子网代替初始简单网的库所或变迁。系统的设备、资源及其动态协作关系用Petri资源、库所、变迁描述。在论述了petri网技术优点的基础上,提出采用层次化的Petri网技术来建立设备系统维修流程仿真模型,并举例详述了该模型的建立。     

基于Petri网的食品检测流程建模及优化分析

构建监管机构食品检测流程模型并进行优化分析.构建流程模型，通过关联矩阵分析说明Petri网模型的结构性质，结合实际情况增加相关的控制结构并优化模型. PIPE软件和PM4PY平台仿真模拟实验结果表明，优化后的模型有较好的稳定性，是有界、安全和无死锁的，可以应用在模型食品检测流程中.     

基于petri网装配序列灰色聚类决策研究

利用petri网直观图形化特点建立装配模型,并根据petri网原理得出可行装配序列。影响可行装配序列的大部分因素是定性的、模糊的、非数值的,将装配序列看作灰色系统,采用灰色聚类决策方法对可行序列进行评估。分析了影响因素的灰色分类并且研究了灰色聚类决策步骤。实例分析表明,该方法为petri网原理所得可行序列进行正确的评估并且得出决策向量。