×

通用Sleptsov网。 (英语) Zbl 1397.68127号

摘要:我们构造了一个在多项式时间内运行的具有13个位置和26个跃迁的通用Sleptsov网(USN);Sleptsov网络是一个位置转换网络,它允许在一个步骤内进行多个转换发射实例。我们用两个状态和四个符号来模拟Neary和Woods的小型弱通用图灵机。与之前的结果相比,我们没有使用单独的编码和解码子网,它们分别实现了以下操作:乘常数与加法相结合,除常数与模相结合,但以一种特殊的方式将它们重叠,从而将USN节点数减少了四个。此外,我们对源数据编码复杂性进行了深入分析。获得的通用网络是SN计算范式中处理器的原型,它保证了超性能。

MSC公司:

第68季度85 并发和分布式计算的模型和方法(进程代数、互模拟、转换网等)
2005年第68季度 计算模型(图灵机等)(MSC2010)
2010年第68季度 计算模式(非确定性、并行、交互式、概率性等)

软件:

TINA公司
PDF格式BibTeX公司 XML格式引用
全文: 内政部

参考文献:

[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的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献,而不要求完整或完全匹配。