摘要：随机 petri网的模型技术有多种不同的方法 .简单地使用模型技术去模拟复杂的系统 ,势必造成状态空间的爆炸 ,而无法分析系统性能 .模型精化技术可以开发出紧凑的模型 ,暴露出原模型中子模型的独立性和相互依存关系 ,为模型的分解求解奠定基础 .该文以多服务器多队列系统模型的精化设计为例 ,展示利用变迁可实施谓词和随机开关进行模型精化的方法 .文章还讨论了多服务器多任务系统的调度、选择控制方案 ,并提供了这些方案的随机 petri网模型 .

摘要：为了实现系统框架的良好设计和高效性能,研究了随机petri网的选择、串联、并联和循环4种基本模型的性能计算方法。以数字化档案管理系统为具体实例,根据框架的各项性能要求,对档案数字化的过程进行了基于随机petri网的建模分析和计算。实验结果表明,随机petri网在框架的设计过程中起到了重要的作用,有效地指导了框架的设计和性能的优化。

摘要：针对随机petri网建模设计与分析的复杂性问题,通过面向对象方法在VisualC++环境下利用MFC开发了可视化的随机petri网建模和分析工具SPNSim。利用广度优先思想,设计了可达图的生成算法,给出了随机petri网模型的编辑器,用户可以直观方便地进行随机petri网编辑,同时还能进行模型分析,得到可达图、稳态概率等随机petri网特性和系统性能指标。通过对一个实例的建模与分析,结果验证了软件工具SPNSim的正确性和可用性。

摘要：随机petri网具有很强的模型描述能力,马尔可夫链是一种常用的性能分析模型.为了有效利用随机petri网进行性能的定量分析,给出了一个详细完整的随机petri网模型转换为同构马尔可夫链的算法.运用Floyd不变式断言法证明了算法的部分正确性,运用良序集法证明了算法的终止性.算法是部分正确的且是可终止的,这个证明结论说明算法是完全正确的.为了佐证证明结论,基于Java和SQL Server设计开发了一个软件平台,在此平台上实现了转换算法,测试实例的测试结果验证了算法的正确性.对算法时间复杂性的分析表明算法是有效的.

摘要：随机petri网是一种系统设计和分析工具,它可以对系统进行定性分析和定量分析。为了有效利用随机petri网进行性能的定量分析,根据随机petri网模型转换为马尔可夫链的算法,总结并实现了它们之间的转换规则。该转换规则在变迁实施的过程中引入演变规则和合并规则,将随机petri网模型转换为马尔可夫链。可以利用产生的马尔可夫链对随机petri网模型的多项性能指标进行定量分析。实验结果表明,转换规则是正确、可行的。

摘要：性能评价是计算机网络和计算机系统研究与应用的重要理论和支撑技术。综述了作者在基于随机 petri网(SPN)的系统性能评价方面的研究工作 ,内容包括多服务器多队列网络、 SPN非乘积解系统的判定与界限求解、非乘积解系统模型的分解和近似求解、网络系统自相似业务到达、SPN模型的精化设计、含有非 Markov过程的排队 petri网、基于 SPN的工作流系统、基于 SPN模型的缓冲优先调度策略、扩展时段时序逻辑的推理机制等方面。今后应加强对非Markov模型。

摘要：为了合理确定铜带拉弯矫直机的校验周期,提高其生产效率,确保其矫直精度,根据某铜板带公司拉弯矫直机9个月的维修数据,对拉弯矫直机的失效模式进行随机petri网建模,将系统失效模式转换成相应的随机petri网;基于马尔科夫过程对随机petri网进行瞬态概率求解,并得到该拉弯矫直机失效模式的稳态概率;利用或门对应的随机petri网模型分析,计算不同校验周期下拉弯矫直机的可用度.综合考虑设备可用度和经济效益,确定了合理的校验周期,为拉弯矫直机的长周期运行提供了依据.

摘要：近年来,航电系统发展的趋势由联合式航电系统向综合化航电系统逐步演进,许多应用将原来专用集成电路实现的功能采用软件实现。软件更新系统在机载航电系统中的地位日益重要。提出了一种高效机载软件更新系统OBSUS,并运用随机petri网理论对其性能评价。首先,提出了OBSUS的系统结构与组件间的通信协议。其次,根据OBSUS的系统结构与通信协议,建立了系统的随机petri网模型。最后,对随机petri网模型进行了瞬态概率分析,针对影响系统的诸多因素,如flash芯片烧写时间、数据传输丢包率和数据传输速率等,对系统的综合性能的影响进行了量化分析。仿真研究结果对于机载软件更新系统的结构与数据传输协议设计,以及如何提高系统性能,具有较强的指导意义。

摘要：尽量在软件开发的上游阶段对软件进行可靠性评估,是长期以来软件工程界的共识。论文提出的方法实现了在系统体系结构设计阶段对软件进行可靠性评估的构想,并能将所获得的结果直接用于指导后期的开发过程。

摘要：邮轮安全事故的严重后果凸显了预警机制的重要性。本文采用集合结构对邮轮安全事故的致因进行分析与描述,以此建立邮轮预警指标体系,通过对指标体系的分析并结合船舶航行实践,设计了邮轮安全预警机制。本研究综合考虑气象条件、通航环境对邮轮航行安全的影响,通过引入与构建随机petri网理论模型,结合“东方之星”轮沉船事故,对恶劣气象条件下邮轮的安全预警机制进行仿真分析。实验显示风级、雨量等级增长速率与邮轮面临灾难危机的概率之间存在非线性关系,且浪级、风级及雨量等级对邮轮安全预警状态有交互作用,并产生了三者交互作用下的预警临界曲面,为邮轮是否可继续安全航行提供定量分析与决策支持。