一种构造Petri网可达图的方法

Ｐｅｔｒｉ网是一种系统设计和分析的工具，为了完成Ｐｅｔｒｉ网的各项分析，还需借助如可达树、矩阵方程、可达图等工具．本文将提出可达图的一种构造方法     

安全Petri网位置不变式的一种生成算法

Petri网是一种系统设计和分析的有用工具,在系统测试中有着广泛的应用.利用安全Petri网的特点,提出一种由安全Petri网可达树和带自环的m阶完全图来计算位置不变式的生成算法.     

关于Petri网归约问题

Petri 同归约问题是当今 petri 网研究领域的一个重要课题,本文从 Petri 网静态结构的角度出发,给出了三个层次的 Petri 网归约方法,并用代数的方法严格地证明了这些归约方法保持网的两大重要性质:活性和有界性。它们为 Petri 网的归约和分析的复杂性之间提供了一个灵活折衷的手段,能够对一个庞大、复杂的 Petri网进行不同程度的归约,以适应不同的需要。文中所给出的归约算法是基于网的关联矩阵的,具有高效,便于实现的特点。此外,本文还就多弧 Petri 网的归约问题和 Petri 网的分解问题作了简要讨论。最后还给出了哲学家用餐问题的 Petri 网新模型并对之进行归约。     

电子支付安全协议的Petri网模型及分析

通过对电子支付安全协议的研究,利用Petri网描述了电子支付安全协议处理流程;根据可达树分析了电子支付协议Petri网模型的正确性、安全性、公平性、可达性和活性. 基于Petri网理论研究电子支付安全协议的工作,对于指导电子支付相关安全项目的研究以及解决实际安全问题具有一定的理论价值和实践意义.     

基于Petri网的服务组合模式的提取

在SOC中,往往利用已有的服务进行组合,产生用户需求的组合服务.为满足用户的需求,服务组合的模式可能是多种多样的.针对这一问题,用环境本体语言描述需求和服务组合,结合Petri网的相关理论,构造了一种服务组合需求的Petri网模型.通过对服务组合的Petri网模型分析,结合库所吸收规则,将其简化.构造可达树的算法,进而提取功能上等效的服务组合模式.最后,结合旅游安排经典案例验证了算法的可行性.     

基于分层Petri网的敏捷供应链建模与分析

基于Petri网系统理论,采用分层分析的方法,将供应链抽象出顶层和底层模块,将顶层模块细化,形成底层模块,并生成与各层次相对应的状态图.根据状态图抽象出其中的库所、变迁等变量,形成对应的Petri网.利用Petri网理论对此供应链系统进行静态结构分析和动态行为分析,最终实现供应链上各节点企业的整体集成和协调控制.子网中应用CPRF流程生成订单的思想,构造订单生成子网模块,产品生产子网模块及信息采集子网模块,整合出整个供应链的子网系统.最后,对系统的鲁棒性和反应敏捷度作综合分析,构造了可达树,并对所建模型的正确性和可达性进行分析.     

基于Petri网的工作流模型优化

为了使工作流模型更简洁,在工作流网WFPN的定义的基础上,给出了利用可达性分析技术对WFPN进行合理性分析的有效方法,提出了一种通过添加抑制弧对WFPN进行优化的算法.该算法为Petri网在大规模复杂模型中的应用及其理论分析提供了一条新的思路.最后,通过一个实例说明了其优化过程,验证了该优化算法的有效性.     

基于角色的访问控制Petri网及协商树模型

针对基于角色的访问控制自动机等模型存在的缺陷,对Petri网进行了改进,并将改进后的Petri网应用于基于角色的访问控制中,实现了基于角色的访问控制Petri网.在角色转换过程的条件控制中,提出了协商树的方法,描述双方证书协商、形成协商树、满足角色转换条件、使角色转换得以实现的过程,实现了较为完整的基于角色的访问控制Petri网.     

等价标识在谓词/变迁网系统可达树规模缩减中的应用

本文通过对哲学家就餐问题的分析，对谓词／变迁网系统可达树规模的缩减问题进行了讨论，分析系统性质，给出等价标识，利用等价标识直接构成可达树，规模大幅度减小。     

似星树与路的乘积图的任意可分性

设似星树S=S(a1,a2,…,at,b1,b2,…,bs),其中ai(1≤i≤t)是奇数,bj(1≤j≤s)是偶数.首先,讨论似星树S与路P l的乘积图S??Pl在t和s不同取值下是否为任意可分图,并用图不含完美匹配的方法和反证法给出其不是任意可分图的充分条件;其次,分析图S??Pl的Hamilton性,并用似星树的...     

对树图生成算法的比较研究

通过对树图生成算法的分析比较,得到各种树图生成算法的优劣性,从而可根据数据集合的特征和用户对可视化效果的不同要求,来选择算法或将几种算法结合使用.     

对树图生成算法的比较研究

通过对树图生成算法的分析比较,得到各种树图生成算法的优劣性,从而可根据数据集合的特征和用户对可视化效果的不同要求,来选择算法或将几种算法结合使用。     

求赋权图上最小树的两个算法

该文证明了赋权图上的树为最小树的一个充要条件，并由此得到求赋权图上最小树的两个算法。     

论树图中两点间的路长

本文证明:如果连通图G的树图Г(G)不是超立方体,则对G的任两支撑树T和T′,除了当每一e′∈T′—T都满足|C(T,e′)|=2并且C(T,e′)为G的块时,Г(G)中没有长为d(T,T′) 1的连接T和T′的路外,对每一自然数k,d(T,T′)≤k≤t(G)-1,Γ(G)中都有长为k的连接T和T′的路(这里C(T,e′)、d(T,T′)和t(G)分别表示T e′中的唯一圈,Γ(G)中T和T′的距离、及G的支撑树数目)。     

一类混杂系统的可达性分析

提供了对一类混杂系统进行定性分析的方法.它着重于混杂模型极其分析在计算机科学和控制理论方面应用的研究.连续和离散的动态学加合而产生了一些基础性问题,本文着重讨论了这些问题.     

图的广义树序列

设P(G)=λ(λ-1)r1…(λ-m)rm,则称(1,r1,…,rm)是一个指数序列.本文证明了,当m=n-1,若1≤i＜i+c≤n-1,则当ri=ri+c=2,rk=1,(k≠i,i+c),并且1≤i≤c+2时,该序列是一个广义树序列.     

求可达矩阵的Warshall算法

给出并证明了确定内部独立的递阶层次结构的矩阵方法。将系统用有向图描述，利用集合论中求关系问包的Ｗａｒｓｈａｌｌ算法实现了求可达矩阵。在决策因素很多且问题很复杂时，可以通过有向图的可达矩阵来确定系统的层次结构。