Dmitry A.扎伊采夫。 强大的sleptsov网已完成图灵。 （英语） Zbl 07834468号 信息科学。 621, 172-182 (2023). 摘要：众所周知，Sleptsov网在一步中多次触发转换，其运行速度比Petri网快得多，这为其作为并发编程图形语言的应用开辟了前景。考虑到一般定义及其强变量和弱变量，我们基于可行性规则对位置转换网进行了分类。我们引入并研究了一个强Sleptsov网，其中具有最大发射重数的跃迁在一个步长上激发，并证明了它是图灵完备的。我们遵循Peterson的证明模式，通过模拟Shepherdson和Sturgis注册机来证明抑制剂Petri网是图灵完备的。我们证明的中心结构是一个强Sleptsov网，用于检查寄存器值（位置标记）是否等于零。 MSC公司： 68倍 计算机科学 90倍X 运筹学、数学规划 关键词：sleptsov网;多次点火;图灵完全;零位校验;登记机 软件：TINA公司 PDF格式BibTeX公司 XML格式引用 \textit{D.A.Zaitsev}，信息科学。621172-182（2023年；兹bl 07834468） 全文： 内政部 arXiv公司 参考文献： [1] D.A.Zaitsev，通过Petri网模型解决离散制造的操作管理任务，博士论文，乌克兰科学院基辅控制论研究所，V.M.Glushkov，1991年。在俄罗斯。https://daze.ho.ua/daze-phd-1991.pdf。 [2] 扎伊采夫，D.A。；Sleptsov，A.I.，《时间petri网的状态方程和等价变换》，Cybern。系统。分析。，33, 659-672 (1997) ·Zbl 0917.68161号 [3] Neary，T.，《关于脉冲神经P系统的计算复杂性》，自然计算。，9, 4, 831-851 (2010) ·Zbl 1207.68141号 [4] 张，X。；姜瑜。；Pan，L.，《使用规则的小型通用脉冲神经P系统》，（第三届生物灵感计算国际会议：理论与应用（2008）），117-128 [5] Paun，G。；伊奥内斯库，M。；Yokomori，T.，Spiking Neural P Systems with a Exeactive Use of Rules，国际期刊Unconv。计算。，3, 135-153 (2007) [6] Formanowicz，P.，DNA计算，计算机。方法科学。技术。，11, 1, 11-20 (2005), https://doi.org/10.12921/cmst.2005.11.01-201 [7] 钱，L。；Winfree，E.，用DNA链置换级联放大数字电路计算，《科学》，332，6034，1196-1201（2011） [8] 钱，L。；Winfree，E.，《用于合成大规模电路的简单DNA门基序》，J.R.Soc.Interface，8，62，1281-1297（2011） [9] 伍兹，D。；Chen，H.-L。；Goodfriend，S。；Dabby，N。；Winfree，E。；Yin，P.，算法形状和模式在多对数时间内的主动自组装，ITCS’13，（第四届理论计算机科学创新会议论文集（2013）），353-354·Zbl 1361.68086号 [10] Alhazov，A。；Verlan，S.，最大并行多集重写系统的最小化策略，理论计算机科学，412171581-1591（2011）·Zbl 1209.68284号 [11] D.A.Zaitsev，Sleptsov Nets Run Fast，IEEE Transactions on Systems，Man，and Controlnetics:Systems 46（5），682-693。doi:10.1109/TSMC2015.2444414。 [12] C.A.Petri，Kocommunication mit Automaten，Technischen Hoschule Darmstadt，1962年，博士论文。 [13] Peterson，J.L.，《Petri网理论和系统建模》，Englewood Cliffs（1981），Prentice-Hall：Prentice-Hall N.J·Zbl 0461.68059号 [14] H.-D.Burkhard，《论并行的优先级：最大激发策略下的Petri网》，Salwicki A.（编辑）《程序及其应用的逻辑》。计算机科学讲义，第148卷。德国柏林：施普林格出版社，1983年，86-97·Zbl 0511.68039号 [15] D.A.Zaitsev，Sleptsov Net Computing，Mehdi Khosrow-Pour（编辑）信息科学与技术百科全书第四版第672章（10卷）。IGI-Global:美国，2017年，7731-7743。doi:10.4018/978-1-5225-2255-3.ch672。 [16] 扎伊采夫，D。；Jürjens，J.，《系统控制用Sleptsov网络语言编程》，高级机械师。工程，8，4（2016） [17] 扎伊采夫，D.A。；Probert，D.E.，《基于Petri/Sleptsov网络的并行、紧急和分布式系统编程技术》特刊前言，《国际并行、紧急分布式系统》，36，6，495-497（2021） [18] Shmeleva，T.R。；奥斯芬斯基，J.W。；Lawan，A.A.，Sleptsov网络上的深度学习，Int.J.Parallel，Emergent Distributed Systems，36，61535-548（2021） [19] Kostikov，A.A。；新墨西哥州扎伊采夫。；Subotin，O.V.，《使用Sleptsov网络实现双扫描方法》，Int.J.Parallel，Emergent Distributed Systems，36,6516-534（2021） [20] T.Agerwala，《表示异步过程协调的完整模型》，霍普金斯计算机科学计划，研究代表，第32号，约翰·霍普金斯大学，巴尔的摩，1974年。 [21] M.Hack，Petri网和向量加法系统的决策问题，计算。结构。马萨诸塞州理工学院集团。，1974年3月，美国马萨诸塞州坎布里奇，技术代表95。 [22] Hack，M.，Petri Net Language（1976），马萨诸塞理工学院：马萨诸塞州理工学院技术报告 [23] Zaitsev，D.A.，Universal Sleptsov net，Int.J.Computer Math/，94，12，2396-2408（2017）·Zbl 1397.68127号 [24] D.A.Zaitsev，《无限Petri网中的普遍性》，载于Durand-Lose J.，Nagy B.（编辑）《机器、计算和普遍性》（MCU 2015），计算机科学讲义，第9288卷，2015年，查姆斯普林格。doi:10.1007/978-3-319-23111-2.12·Zbl 1415.68154号 [25] C.E.Shannon，一个具有两个内部状态的通用图灵机，收录于《自动机研究》、《数学年鉴》。新泽西州普林斯顿圣：普林斯顿大学出版社，1956157-165·Zbl 0073.04101号 [26] Korec，I.，小型通用寄存器，Theor。计算。科学。，168, 2, 267-301 (1996) ·Zbl 0874.68105号 [27] 扎伊采夫，D.A.，通用petri网，Cybern。系统。分析。，48, 498-511 (2012) ·Zbl 1307.68055号 [28] Zaitsev，D.A.，走向最小通用Petri网，IEEE Trans。系统。，赛博人：系统。，44, 1, 47-58 (2014) [29] Zaitsev，D.A.，《用无限Petri网模拟细胞自动机》，J.细胞自动机，13，1-2，121-144（2018）·Zbl 1467.68128号 [30] Alhazov，A。；伊万诺夫，S。；佩尔兹，E。；Verlan，S.，带约束弧的小型通用确定性Petri网，J.自动机，语言组合学，21，1-2，7-26（2016）·Zbl 1359.68214号 [31] 图灵，A.M.，《关于可计算数字及其在Entscheidungsproblem中的应用》，Proc。伦敦。数学。《社会学杂志》，第2-42、1230-265页（1937年） [32] Soare，R.I.，《图灵可计算性：理论与应用》（2016），施普林格出版社·Zbl 1350.03001号 [33] Shepherdson，J.C。；Sturgis，H.E.，递归函数的可计算性，J.ACM，10，2，217-255（1963）·兹比尔0118.25401 [34] Minsky，M.L.，《计算：有限和无限机器》，Englewood Cliffs（1967），Prentice-Hall：新泽西州Prentice-Hall·Zbl 0195.02402号 [35] A.S.M.E.标准。操作和流程图，纽约：美国机械工程师学会，1947年。 [36] Gilbreth，F.B。；Gilbreth，L.M.，《过程图表》（1921），美国机械工程师学会：美国机械工程师协会，纽约，https://lccn.loc.gov/ca22000471 [37] Goldstein，H.H。；冯·诺依曼，J.，《电子计算仪器的规划和编码问题》，第二部分，80-151（1947），收录于冯·诺伊曼文集：冯·诺伊曼文集第五卷，纽约麦克米兰 [38] 于。I.Yanov，《关于程序方案的等效和转换》，Doklady，A.N.USSR 113（1957）39-42；事务处理。，Comm.ACM I（10）（1958年10月）8-12·Zbl 0081.34604号 [39] 于。I.Yanov，《矩阵计划方案》，Doklady A.N.USSR 118（1957）283-286；事务处理。，Comm.ACM 1（12）（1958年12月），3-6·Zbl 0084.12202号 [40] Gill，S.，《并行编程》，《计算机杂志》，1958年第1期，第2-10页·Zbl 0087.32603号 [41] 布希，G。；伦博，J。；Jacobson，I.，《统一建模语言用户指南》（2005），Addison-Wesley [42] Bunder，M.W.，《多重集理论基础》（1987），伍伦贡大学 [43] Blizard，W.D.，多集理论的发展，现代逻辑，1191-352（1991）·Zbl 0744.03054号 [44] 扎伊采夫，D.A。；Zhou，M.C.，《从强到精确的Petri网计算机》，《并行、紧急和分布式系统国际期刊》（2021年） [45] Ye，V.，Kotov（1984），Petri Nets:Petri Nets Nauka，莫斯科，俄罗斯 [46] 菲舍尔，P.C。；Meyer，A.R。；罗森博格，A.L.，《计数器和计数器语言》，J.数学。系统。理论，2,3265-283（1968）·Zbl 0165.32002号 [47] 伯托米厄，B。；里贝特，P.-O。；Vernadat，F.，工具TINA-Petri网和时间Petri网抽象状态空间的构建，国际生产研究杂志，42，14（2004年7月）·Zbl 1060.68695号 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。