使用Petri网T—不变量求解子句的逻辑推论

本文研究了子句逻辑规则的Ｐｅｔｒｉ网模型的表示及使用Ｐｅｔｒｉ网分析方法进行逻辑推论，基于四值逻辑和冲突变迁的概念，表示了非Ｈｏｒｎ子句Ｐｅｔｒｉ网模型的构造，并使用Ｔ－不变量方法解决子句推论问题。     

Petri网用于Horn子句的逻辑推论

这篇论文探索了命题逻辑的Horn子句的Petri网模型,求解逻辑推论Petri网模型的T—不变量是求解逻辑推论的核心步骤,本文提供了计算T—不变量的算法,这些算法基于归约的思想,另外,在算法中利用单字母规则、纯字母规则和割裂规则可提高算法的速度和简化算法的复杂性。     

利用不动点求解子句逻辑推演的Petri网模型

文章研究了子句逻辑推演的Petri网模型表示和不动点求解方法.基于四值逻辑和冲突变迁的概念,可用Horn子句的Petri网模型方法来构造非Horn子句的Petri网模型.逻辑推演的基本方法之一就是寻找逻辑赋值的不动点.该文显示了一种基于Petri网模型的子句逻辑不动点求解算法,比现有算法更为有效.     

计算高级Petri网S-不变量的一种简单算法

在高级Petri网的性质分析中,S—不变量的方法是一个重要的方法,如何计算高级Petri网的S—不变量是一个重要课题。本文基于复合标志(Token)和标志流路的概念,给出了一个整系数线性方程系统,由该线性方程系统,可以得到高级Petri网的所有S—不变量,而不必将高级Petri网扩展为一般Petri网。     

变迁耦合网的T-不变量求解算法

首先定义了变迁耦合网及相关概念,其次揭示了变迁耦合网N中各个分支网的T-不变量同N的T-不变量之间的关系,根据是否与耦合变迁有关,将N的极小T-不变量分为两类MTS1和MTS2,然后给出了变迁耦合网所有极小T-不变量的求解算法,并给出了两个简单例子加以说明,最后编程实现所提算法并给出初步实验数据.试验结果说明,本文所提算法比现有算法节省大量计算开支.     

一种改进的Petri网S不变量计算方法

用于计算Petri网S不变量的M-S算法将所有正负行两两做线性组合变换,增加了算法的复杂度,得到的最终结果也并不一定是最小S不变量支撑。针对该问题,提出一种改进算法。通过增加对Petri网关联矩阵的预处理步骤,减少线性组合运算的次数,并得到最小S不变量支撑。理论与实验结果证明,M-S算法的复杂度为s×t,而改进算法的复杂度为s＋t,该算法能有效减少计算复杂度。     

逻辑推理中的Petri网应用

本文讨论利用Ｐｅｔｒｉ网实现逻辑问题的推理，首先介绍了逻辑问题的Ｐｅｔｒｉ网模型描述方法，并举例说明了利用矩阵演算实现推理的算法。Ｐｅｔｒｉ网的研究与利用对开发逻辑程序并行性，提高推理效率很有意义。     

Petri网用于求解概率逻辑的近似可能世界矩阵

概率逻辑中的可能世界随着问题增长而指数性增长，使问题求解难以实现，Ｎｉｌｓｓｏｎ提出了一种矩阵列产生方法，可得到近似而规模小的矩阵，但他没有提出具体的算法，本文提出一种Ｐｅｔｒｉ网模型，可为Ｎｉｌｓｓｏｎ方法的求解提供有效途径。     

基于Petri网方法的红血球代谢系统研究

随着生物网络数据的迅速增长,对这些数据进行模拟分析的工具也随之发展。由于组合了图形化和数学化的特征,Petri网成为这一领域的重要模拟分析工具之一。但是,通过Petri网模拟分析的生物系统大多是一些孤立的生化途径。本文采用Petri网技术对红血球细胞的新陈代谢系统进行建模分析。首先介绍了基本的Petri网概念和分析方法,然后采用Petri网技术研究红血球的新陈代谢系统,建立了红血球新陈代谢系统的Petri网模型,最后计算了该模型中的P、T不变量,并讨论了它们的功能意义。     

基于分解子网的Petri网不变量的分析

分析系统性能时,Petri网不变量具有重要意义。为了减小求解的计算复杂性,基于Petri网的分解,并利用关联矩阵的构成特点,分析总网和分解后子网的不变量之间的关系。对分解后的子网为一般Petri网,采用的连接为自环连接和同步连接的情形,得到了总网P/T-不变量可对分解保持的一些充分、必要或充要条件。     

基于时间Petri网模型的缓冲优先调度策略稳定性分析

描述了一种时间Petri网模型和方法,它能对具有缓冲优先调度可重入生产线系统进行稳定性分析.基于系统模型标识的动态变化,以缓冲界限概念作为稳定性分析判据.这种方法可用于具有固定优先次序调度策略的稳定性分析.推导了基本时间Petri网结构的稳定特性以及具有正反馈环系统稳定的充分条件.这些研究结果可以用于多种实际系统的稳定性分析.     

推理维护系统的Petri网模型

本文为推理维护系统引入一种Ｐｅｔｒｉ网模型并对有限非单调理论应用Ｐｅｔｒｉ例分析方法．本文提议的模型不但能描述推理维护系统，而且可用网论与网技术分析推理维护．对于一组给定的非单调规则我们给出一个算法可求得其外延，我们还给出一个算法可发现系统的不一致性．我们提出的寻找外延的算法要比现有的重构过程更有效，且它是可判定的．     

基于归结反演的Petri网推理新方法

本文首先在命题逻辑的库所／变迁网模型中，提出四种新的证明目标例题成立的推理算法，即求包含为迁的Ｔ－不变量并同时求出变迁发生序列的算法，它们都源于归结反演系统中的改进策略。     

基于Petri网的工作流模型性能分析方法

除了有限的仿真支持以得到参考数据以外,目前对于工作流模型性能的理论上的严格分析几乎是空白。在深入分析了经营过程工作流模型特点的基础上,本文提出一种将工作流的Petri网模型分解为事件图的算法,并给出了利用事件图对单个业务实例的处理过程进行性能分析的基础上获得整个工作流模型性能指标的方法。     

概率逻辑可能世界的Petri网模型

本文研究概率逻辑中推导可能世界的Ｐｅｒｔｉ模型，该模型为可能世界的产生提供有效算法，这个算法被证明是正确的，它可以产生所有的一致的可能世界，文章中还分析了算法的复杂性，通过同其它方法的比较可知：此Ｐｅｔｒｉ网模型是概率逻辑可能世界推导的简单、实用和图形化的工具。     

资源循环共享的Petri网的形式化设计方法

资源共享是子Ｐｅｔｒｉ网耦合为总网的一种途径，其中对资源循环共享是其重要方式之一。为了研究Ｐｅｔｒｉ网的形式化方法，必须首先研究基于Ｐｅｔｒｉ网的设计，而后研究了Ｐｅｔｒｉ网的耦合，以往的研究多集中于竞争共享资源的方式上，很少涉及循环共享，本文在以往工作的基础上，提出了资源循环共享的Ｐｅｔｒｉ网设计的形式化方法，并给出了两个实例，举例说明了上述形式化设计方法。     

基于Petri网的工作流在电子政务系统中的建模与分析

电子政务系统是目前研究和开发的热点之一。采用基于Petri网的工作流对电子政务系统进行了建模与分析,首先说明了在工作流中运用Petri网的优点,然后将Petri网与工作流相结合,建立了电子政务系统的工作流网模型,最后运用Petri网理论对所建模型的正确性进行了定性分析,并对模型的子系统网上投诉系统的资源分配情况进行了定量分析。     

时序逻辑电路的Petri网分析方法

本文应用带抑止弧的增广Ｐｅｔｒｉ网，建立了基本门电路和常用触发器的Ｐｅｔｒｉ网模型，讨论了运用该模型描述同步和异步时序逻辑电路，给出了增广Ｐｅｔｒｉ网的矩阵描述和状态转移方程，在此基础上提出了同步和异步时序逻辑电路统一分析的Ｐｅｔｒｉ网方法。