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

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

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

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

关于Petri网归约问题

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

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

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

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

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

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

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

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

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

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

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

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

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

求解一次不定方程的Petri网方法(Ⅲ)——Frobenius问题研究

本文分别从Ⅰ型一次不定方程网的可达性和活性出发,导出当 m≤(sum from i=2 to n)a_i(d_i-1)/d_i-(sum from i=1 to n)a_i时,不定方程a_1x_1+a_2x_2+…+a_nx_n=m有非负整数解的两个不同的充分必要条件;并根据充分必要条件的不同提法,给出求n元线性型最大不可表数的两个算法。     

有效协作控制的Petri网模型和分析

本文利用Petri网对协作系统有效控制进行了研究,建立了协作Petri网和协作有色Petri网模型,对Petri网的运行情况进行了分析与探讨,并对协作Petri网模型的性质进行了分析.     

改进覆盖树与标识网死锁的检测

通过在ω符号中加入令牌数增减的信息,改进了原标识Petri覆盖树的构造方法,从而提出了一种新型的覆盖树,即改进覆盖树,这种覆盖树是有限的,它可以覆盖所有的可达标识,并且每一节点都有可达标识,这种覆盖树可单独用于检测标识网的死锁,文中示例表明它是有效的。     

最大外可平面图的树图

通过对最大外可平面图和Ｋ临界图的研究给出三个主要结论（１）最大外可平面图的生成树有２＾ｐ－３＊３棵。（２）最大外可平面图的树图ＧＴ,β（ＴＧ）≥ｐ＋１。（３）临界图Ｇ,当Ｋ（Ｇ）＝１时,树图ＧＴ是平凡图,当Ｋ（Ｇ）＝２时,对图ＧＴ是ｐ图。     

自主存取控制的Petri网建模和分析

对计算机系统安全中的自主存取控制Ｔａｋｅ－Ｇｒａｎｔ模型提出了一种有色Ｐｅｔｒｉ网表达，并用可达性树技术对ｃａｎ；ｓｈａｒｅ问题提供了一个更为简明实用的解答。文中用一个实际的信息处理系统为例，演示了所提出的方法。     

三路树P(m,n,n+5)是边幻图的证明

用演绎推理的方法,研究Ringel在1998年提出的树是边幻图的猜测问题,证明了三路树P(m,n,t)当t=n 5时是边幻图,部分解决了Ringel提出的猜测问题.     

平面二部图的完美匹配集合上的有向根树结构及其生成

图的完善匹配或１－因子指覆盖子其所有顶点的独立边集。对含有完善匹配的平面二部图，其所有完美区通过某旋转变换形成层次组织结构。可用有向根树或半格表示。建立了平面二部图的完善匹配集合上新有向根树结构并可通过算法来生成。     

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

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