基于扩展Petri网的工作流建模及应用

为了更好地对工作流模型的验证和性能分析,采用扩展Petri网作为工作流建模工具,给出了工作流模型向扩展Petri网模型的转化规则,建立了实例模型,论述了含有并行成分系统的结构特性,分析验证了模型的正确性。实践证明,用扩展Petri网建立工作流模型能提高模型的准确度,减少应用传统建模方法的冗余工作量。     

扩展的模糊时间Petri网

网络实时系统对时间和QoS有严格要求.扩展的模糊时间Petri网是一种对网络实时系统进行建模和分析的形式化模型,Petri网数学理论基础能保证并发系统的可靠性和正确性.本文介绍了扩展的模糊时间Petri网的定义,模型检验方法,仿真工具,网精简技术和应用领域,并探讨了进一步研究的方向.     

基于ECA规则的工作流建模

将工作流模型划分为三部分：过程模型、数据模型、组织模型。通过ECA规则与有向图相结合对工作流进行过程建模，利用有向图直观地表述流程的走向，工作流引擎通过对ECA规则的解释导航流程；给出了数据模型中数据对象的形式化定义；在组织模型中对RBAC模型进行改进，解决其在细粒度权限控制上的不足。     

基于直觉模糊Petri网的知识表示和推理

针对模糊Petri网存在隶属度单一的问题,将直觉模糊集理论与Petri网理论相结合,构建直觉模糊Petri网(Intuitionistic Fuzzy Petri Nets,IFPN)模型,用于知识的表示和推理.首先构建了IFPN模型,并将其应用于知识的表示,通过在模型中引入抑止转移弧,解决了否命题的表示问题.其次提出了基于矩阵运算的IFPN推理算法,通过修改变迁触发后token值的传递规则,解决了推理过程中的事实的保留问题;通过修改变迁的触发规则,抑制了变迁的重复触发.最后对推理算法进行了分析,并举例验证了提出的IFPN模型及其推理算法的可行性,结果表明IFPN是对FPN的有效扩充和发展,其对推理结果的描述更加细腻、全面.     

基于扩展Petri网的雷达组网系统的建模与分析

利用扩展Petri网建立了雷达组网系统模型,通过模型的分析,解决了各雷达之间的同步问题,给出了系统冲突的处理方法,然后将扩展Petri网与排队论结合起来,定量描述了系统的统计性能;最后运用建立的模型进行了仿真实验。研究表明,扩展Petri网是雷达组网系统建模与分析的一种有效途径,为系统的结构优化与效能评估提供了依据。     

基于Petri网局部性的极大冲突集枚举算法

冲突是Petri网研究的重要主题.目前Petri网冲突研究主要集中于冲突建模和冲突消解策略,而对冲突问题本身的计算复杂性却很少关注.提出Petri网的冲突集问题,并证明冲突集问题是NP（Non-deterministic Polynomial）完全的.提出极大冲突集动态枚举算法,该算法基于当前标识的所有极大冲突集,利用Petri网实施局部性,仅计算下一标识中受局部性影响的极大冲突集,从而避免重新枚举所有极大冲突集.该算法时间复杂度为O（m²n）,m是当前标识的极大冲突集数目,n是变迁数.最后证明自由选择网、非对称选择网的极大冲突集枚举算法复杂度可降至O（n²）.极大冲突集枚举算法研究将为Petri网冲突问题的算法求解提供理论参考.     

基于模糊Petri网的战术决策与规则精炼方法

针对空战环境的复杂多变和不确定性,首先研究了基于模糊Petri网的推理算法,建立了基于模糊推理Petri网的智能战术决策方法,将定性的决策推理过程变成了定量的矩阵运算;然后针对规则的冗余性和可能的冲突性,利用粗糙集理论对战术决策规则库进行了精炼,简化了模糊推理Petri网结构,提高了战术决策推理的效率,实现了无人机攻击和防御的智能决策。仿真结果表明该方法具有可行性和有效性。     

工作流挖掘与Petri网表示的对偶交换

将对偶交换的观点引入工作流挖掘的研究可以获得新的认识。其在工作流结构验证中并行和选择互换后仍保持结构的正确性。工作流挖掘α算法先挖掘选择结构,余下并行结构,通过对偶交换得到算法,先挖掘并行结构,余下选择结构,算法能够减少非自由选择结构。不同情况下两种算法结果比较取优,能够使工作流挖掘的并行和选择的嵌套关系更为简练。以任务为变迁的Petri网能够最简洁地表示α算法挖掘结果,以任务为库所的Petri网能够最简洁地表示算法的挖掘结果。这两种Petri网表示也体现出对偶性。     

基于Petri网的软件故障树分析

软件故障树最小割集求解方式与效率极大影响软件可靠性分析结果及有效性。提出将故障树转化为Petri网,使用Petri网关联矩阵法,求解软件系统故障树最小割集。能够较好分析大型复杂软件系统,故障树最小割集求解更加简洁有效。通过ADS—B解码板解码任务验证其有效性,表明能够有效求解故障树最小割集。     

门户网自助系统的扩展有色Petri网建模与分析

文章探讨了一种基于扩展有色Petri网的门户网自动生成系统,详细论述了有色Petri网与面向对象技术的融合方式,给出了面向对象的扩展有色Petri网的映射规则和形式化定义,并构建了门户网自动生成系统的ECPN模型,最后利用状态空间法和系统在实际生产中的效率统计,证明了模型的可用性、高效性。     

基于随机Petri网模型的多DSP系统性能分析

多处理器并行处理系统在许多领域都有广泛的应用,然而由于存在系统体系结构、通信带宽和软件并行性等诸多因素的影响,往往会很大程度上制约多处理器系统性能的发挥,因此有效的评估多处理器并行处理系统的性能是系统设计阶段必不可少的任务之一。本文以ADSP14060为核心的多DSP并行处理系统的结构特征,分析了＂主从＂并行结构和＂流水线＂结构的特点;在系统结构分析的基础上,分别建立了基于广义随机Petri网的多DSP并行处理系统模型,并应用该系统模型对＂主从＂结构和＂流水线＂结构的性能进行了全面的评估,找到影响系统性能的各种因素和提高系统性能的办法。     

基于Petri网动态工作流在OA系统中的应用

介绍了工作流技术,分析传统工作流模型不能根据实际情况进行动态改变的缺点,在此基础上,提出了一种支持流程动态修改的工作流,主要实现了过程模型的动态修改。针对请假流程,用Petri网建模,实现对其进行动态修改,并利用经典Petri网的遍历树算法对迁移后实例的准确性进行验证。最后展示了动态工作流的具体实现方法。     

基于随机Petri网的虚拟网可生存性模型研究

针对在描述可重构服务承载网(RSCN)差异化服务需求时无法定量描述其安全属性的问题,提出了一种RSCN可生存性模型。模型基于随机Petri网构建,首先构建RSCN的非马尔可夫随机Petri网模型,再基于最常用的先到先服务(FCFS)故障修复策略得到系统状态可达图,通过引入补充变量建立系统状态概率方程,并最终求解得到该模型。通过仿真实验对该可生存性模型的有效性进行验证,仿真结果表明,理论模型计算结果与仿真结果拟合性较好,可用于描述基于FCFS故障修复策略的RSCN可生存性能。     

Multi-input address incremental clustering for the Bitcoin blockchain based on Petri net model analysis

Bitcoin is a cryptocurrency based on blockchain. All historical Bitcoin transactions are stored in the Bitcoin blockchain, but Bitcoin owners are generally unknown. This is the reason for Bitcoin's pseudo-anonymity, therefore it is often used for illegal transactions. Bitcoin addresses are related to Bitcoin users' identities. Some Bitcoin addresses have the potential to be analyzed due to the behavior patterns of Bitcoin transactions. However, existing Bitcoin analysis methods do not consider the fusion of new blocks' data, resulting in low efficiency of Bitcoin address analysis. In order to address this problem, this paper proposes an incremental Bitcoin address cluster method to avoid re-clustering when new block data is added. Besides, a heuristic Bitcoin address clustering algorithm is developed to improve clustering accuracy for the Bitcoin Blockchain. Experimental results show that the proposed method increases Bitcoin address cluster efficiency and accuracy.     

基于模糊神经Petri网的武器装备效能评估模型

将模糊Petri与神经网络理论相结合,提出了一种关于武器装备效能评估的模糊神经Petri网模型.将模糊逻辑规则应用到专家评判中得到模糊Petri网,建立基于模糊Petri网的武器装备效能评估模型,并在此基础上将人工神经网络引入到模糊Petri中,在模糊Petri模型上,用迭代最速下降法对模型的参数进行学习和训练,经过学习和训练的模型具有很强的学习能力以及对外界环境的自适应能力.以某型雷达对抗装备为例进行仿真验证,仿真结果表明该模型是可行和有效的.     

基于Petri网的攻击检测模式的优化生成算法

本文介绍了基于Petri网的入侵检测系统的概念,指出了这种方法所面临的主要困难是状态的组合爆炸,由此提出了通过将入侵模式Petri网和应用约束Petri网进行合成操作,从而减小无用状态的优化算法。     

基于SPN的军用飞机备件供应保障建模

采用随机Petri网(SPN)对军用飞机备件供应保障进行建模;并对建立的模型进行合理性分析,从分析结果可以看出:建立的模型是正确的,能够较好地对军用飞机备件供应保障进行描述。在此建立的模型可扩展性强,能用于该型飞机以及其他机型飞机的备件供应保障研究及更高层次军事系统仿真的组成部分。     

基于软交换的集群媒体服务器的性能评价Petri网模型

在研究基于软交换的集群媒体服务器的系统结构和软件结构的基础上，利用随机Petri网理论为该类服务器建立了一个性能模型。为了验证模型的有效性，在北京邮电大学网络与交换国家重点实验室网络智能中心开发的基于软交换的集群媒体服务器平台上设计了两种业务类型的实验。对实验结果的分析表明，该性能模型能够反映系统的真实性能状况，是一个有效的数学模型。     

基于时间Petri网的公文管理工作流模型

工作流建模是公文管理系统开发的重要课题,但以往的文献中却很少考虑公文流管理过程中的时间因素。所以结合高校公文管理工作流的实际应用环境,提出基于时间Petri网的公文管理系统工作流模型,并利用四种基本工作流模型的线性时间推理规则,对其进行时序分析,在线性时间复杂度内解决时间推理问题,用具体数据分析了公文管理工作流模型的性能。对实际公文管理系统的开发具有指导作用。