小多项式时间万能Petri网.docx

小多项式时间通用Petri网在由笔者提出，2013年小型通用Petri网的库所/变迁数（14,42）和（14,29）在对的时间复杂度估计为指数级。在本论文中，它显示，其略作修改和解释具有多通道变迁的时间Petri网，而该Petri网定义由作者于1991年给出，允许获得多项式时间复杂度。修改问题只使用禁止弧控制变迁的点火多个实例，使用移动零表示的逆控制流程。因此，小型通用Petri网是有效率的证明自己作为高性能计算的模型的应用程序。引言第一个明确地构造通用Petri网（UPN）是由成千上万个顶点并且工程指数级缓慢；为了其设计，Petri网的行为根据其状态方程直接模拟应用。建设通过纯禁止Petri网内的类完成。小型通用Petri网的库所/变迁数（14,42）和（14,29）用模拟已知的小通用图灵机（UTM）的技术构建：UPN（14,42）网模拟UTM（6,4），UPN（14,29）网模拟弱通用图灵机（2,4）。建设通过确定性禁止Petri网内的类完成，其时间复杂度估计为指数级。在目前的工作中，这些网被修改：一个库所LEFT加入到代表TM控制头在明确地左移动;仅禁止弧被用来控制在多个实例中点火的变迁;控制流程表示经由禁止弧来移动零去提供单向的逆方法。修改后的UPN作为一个Petri网与多通道变迁的解读给出了时间复杂度多项式估计。因此，构建UPN是有效的计算模型。接下来，PolyUPN（15,29）网由UPN（14,29）网构建，它表明诠释其行为的确定性延时禁止的Petri网，变迁点火的时间是离散的并且等于单位和不限数量的变迁通道给出多项式时间复杂度；相应Petri网的类命名为确定性算法Petri网。以同样结果可以得到其他早期构建的通用Petri网。确定性算法Petri网一类确定性算法的Petri网在本文中被采用，表示一个确定的禁止Petri网（DIPN）和一个时间Petri网与多通道变迁的情况下的一组合时，每个变迁的点火时间等于单位。由于所有的时间都等于单位，在所有不引入时间概念来感知Petri网作为同步网在每一步有发生权的变迁点火的最大有效集是更方便的。最大集合的有效性被定义为不导致负标记。但当使用变迁数作为确定禁止Petri网的优先级时，只有一个可能的变迁点火可能在一个步骤中可能在几个实例。限制网络行为是十分必要的，从而使之成为确定性是通过模拟TM的确定性性质决定的。确定性算法Petri网（DAPN）是一个动态的过程，具有同步确定性的行为提供一个双向定向多重图。确定性算法Petri网被表示为一个四元网N=（P,T,F,μ0），其中P和T是不相交的集合分别称为顶点的库所和变迁，映射F定义顶点之间的弧线的类型和多重性，映射μ0表示初始状态（标志）。变迁的选择顺序是由枚举T={t1,t2,……tn}，n=|T|定义；库所同样被枚举P={p1,p2……pm}，m=|P|，库所的令牌由一个向量μ，μj=μ(pj),j为1到m的整数，其中，μj是一个非负整数，等于位于地点pj的令牌数。映射F：（P×T）→{0,w-,-1}∪）（T×P）→{0,w+}定义弧，他们的类型和多重性，即变迁输入和输出弧w-和w+是自然数，0代表没有弧，正值——以指定的多样性到正规的弧线，以及减单元——到禁止弧。就像6中给出的，Petri网的多弧容易转化为普通Petri网与普通弧的多重性等于单位。为了避免嵌套指数，我们简化了写法w-（pj,ti）写成w-ji，w+（ti,pk）写成w+ik。以图形的形式，库所绘制圆和变迁为矩形。禁止弧是由一个小的空心圆的端部表示，并且一个小的实心圆（读取弧线）代表一环的缩写。正常弧的多样性比单位大是标出来的，同样库所的令牌大于零是写在里面。为了估计每个传入一个变迁的圆弧上的点火情况，下面的辅助操作被定义：x div y, if y＞0;X via y= 0 , if y=-1,x＞0;∞ , if y=-1,x=0.为了避免例子中无穷数的不一致，在这里，我们禁止没有正常输入弧的变迁。DAPN的行为（动态）可以由对应的状态方程描述，类似于描述[9，7，8]。目前的工作中考虑的行为结果的顺序应用准寻以下变迁点火规则：变迁网ti分别依次用整数指数i表示，i的范围从1到n。当前步骤变迁ti点火的实例数目等于vi=v（ti）=minj（μjvia w-j,i），1≤j≤m，F（pj,ti）≠0。在vi实例中第一个变迁ti（拥有最小值i）由vi＞0点火。当变迁ti点火，它将由于正常弧F（pj,ti）＞0，从它的每个输入库所pj中提取vi*w-j,I的令牌；把vi*w+I,k的令牌放入对应的每个输出库所pk，F（pj,ti）＞0；如果没有能够点火的变迁，则网络中断。表一：WUTM（2,4）的行为[3,5]和它的编码因此，变迁可