Dmitry A.扎伊采夫。 通用Sleptsov网。 (英语) Zbl 1397.68127号 国际期刊计算。数学。 94,第12号,2396-2408(2017). 摘要:我们构造了一个在多项式时间内运行的具有13个位置和26个跃迁的通用Sleptsov网(USN);Sleptsov网络是一个位置转换网络,它允许在一个步骤内进行多个转换发射实例。我们用两个状态和四个符号来模拟Neary和Woods的小型弱通用图灵机。与之前的结果相比,我们没有使用单独的编码和解码子网,它们分别实现了以下操作:乘常数与加法相结合,除常数与模相结合,但以一种特殊的方式将它们重叠,从而将USN节点数减少了四个。此外,我们对源数据编码复杂性进行了深入分析。获得的通用网络是SN计算范式中处理器的原型,它保证了超性能。 MSC公司: 第68季度85 并发和分布式计算的模型和方法(进程代数、互模拟、转换网等) 2005年第68季度 计算模型(图灵机等)(MSC2010) 2010年第68季度 计算模式(非确定性、并行、交互式、概率性等) 关键词:通用Sleptsov网;Petri网;图灵机器;多次点火;多项式复杂性 软件:TINA公司 PDF格式BibTeX公司 XML格式引用 \textit{D.A.Zaitsev},国际计算机杂志。数学。94,第12号,2396--2408(2017;Zbl 1397.68127) 全文: 内政部 参考文献: [1] B.Berthomieu、O.-P.Ribet和F.Vernadat,工具TINA——Petri网和时间Petri网抽象状态空间的构造,国际生产研究杂志。42(4)(2004),第2741-2756页。网址:10.1080/002075404123312688·Zbl 1060.68695号 [2] H.-D.伯哈德,关于并行的优先级:最大激发策略下的Petri网柏林斯普林格·弗拉格计算机科学课堂讲稿:程序逻辑及其应用1983年第148卷,第86-97页。 [3] M.库克,初等元胞自动机中的普遍性,复杂系统。15(1)(2004),第1-40页·Zbl 1167.68387号 [4] V.Dimitrov、L.Imbert和A.Zakaluzny,常数的乘法是次线性的第18届IEEE计算机算术研讨会,蒙彼利埃,2007年6月25-27日,第261-268页。 [5] J.Hartmanis和R.E.Stearns,算法的计算复杂性,事务处理。AMS公司117(1965),第285-306页。doi:10.1090/S0002-9947-1965-0170805-7·Zbl 0131.15404号 [6] J.E.Hopcroft、R.Motwani和J.D.Ullman,自动机理论、语言和计算导论,第2版,Addison Wesley,纽约,2001年·兹伯利0980.68066 [7] S.Ivanov、E.Pelz和S.Verlan,带约束弧的小型通用Petri网《欧洲的可计算性》,匈牙利布达佩斯,2014年6月23日至27日·Zbl 1416.68122号 [8] Z.W.Li和M.C.Zhou,自动化制造系统中的死锁解决:一种新的Petri网方法施普林格-弗拉格出版社,伦敦,2010年。 [9] T.Murata,Petri网:属性、分析和应用,程序。电气与电子工程师协会77(4)(1989),第541-580页。数字对象标识代码:10.1109/5.24143 [10] T.Neary,脉冲神经P系统的计算复杂性,自然计算。9(4)(2010),第831-851页。doi:10.1007/s11047-010-9213-1·Zbl 1207.68141号 [11] T.Neary和D.Woods,元胞自动机规则的P-完备性110,第33届国际自动化、语言和编程学术讨论会(ICALP2006),计算机科学讲稿,第4051卷,第1部分,2006年,第132-143页。 [12] T.Neary和D.Woods,小型弱通用图灵机,第17届国际计算理论基础研讨会(FCT 2009),计算机科学讲稿第5699卷,波兰弗罗茨瓦夫,2009年9月,第262-273页。doi:10.1007/978-3642-03409-1_24·Zbl 1252.68118号 [13] C.A.Petri,Kommunikation mit自动机,博士学位。1962年,德国波恩波恩大学仪器数学研究所。 [14] F.L.Tiprese和A.D.Diaconu,Petri网计算机和工作流网,IEEE传输。系统。人类网络。系统。45(3)(2015),第496-507页。doi:10.1109/TSMC.2014.2347933 [15] A.图灵,关于可计算数,及其在entscheidungs问题中的应用,程序。伦敦。数学。Soc公司。41(1)(1936),第230-265页·联合财务报表62.1059.03 [16] H.Wang,图灵计算机理论的一个变体,美国临床医学杂志4(1957年),第63-92页。doi:10.1145/320856.320867 [17] D.A.Zaitsev,通用petri网,赛博。系统。分析。48(4)(2012),第498-511页。doi:10.1007/s10559-012-9429-4 [18] D.A.Zaitsev,小多项式时间通用Petri网,arXiv:1309.7288,2013年。可在http://arxiv.org/abs/109.7288。 [19] D.A.Zaitsev,走向最小通用petri网,IEEE传输。系统。人类网络。系统。44(1)(2014),第47-58页。doi:10.1109/TSMC.2012.237549 [20] D.A.Zaitsev,Sleptsov网运行速度快,IEEE传输。系统。人类网络。系统。(2015),第1-12页。10.1109/TSMC2015.2444414 [21] D.A.Zaitsev和A.I.Sleptsov,时间Petri网的状态方程和等价变换,赛博。系统。分析。33(5)(1997),第659-672页。doi:10.1007/BF02667189·Zbl 0917.68161号 [22] D.A.Zaitsev、I.D.Zaitsev和T.R.Shmeleva,无限Petri网作为网格模型。第19章,英寸信息科学与技术百科全书第3版,第10卷,M.Khosrow-Pour编辑,IGI-Global,Hershey,2014年,第187-204页。 此参考列表基于出版商或数字数学图书馆提供的信息。它的项目与zbMATH标识符启发式匹配,并且可能包含数据转换错误。在某些情况下,zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献,而不要求完整或完全匹配。