阿兰·芬克尔;皮埃尔·麦肯齐;克劳迪娜·皮卡罗尼 用于分析Petri网扩展的结构良好的框架。 （英语） Zbl 1101.68696号 Inf.计算。 195，第1-2、1-29号（2004）. 摘要：引入了由递归函数定义的转换系统（从mathbb N^p到mathbb N ^p），并将其命名为WSN或结构良好的网络。这样的网络可以方便地位于Petri网扩展和一般转换系统之间。在本文的第一部分中，我们研究了通过对WSN类的定义函数施加自然限制而获得的WSN类关于终止性、覆盖性和有界性问题的四种变体的可判定性。我们能够准确地回答几乎所有出现的问题，从而对新旧广义Petri网的可判定性结果有了更深入的了解。在第二部分中，我们专门对仿射函数定义的WSN进行了分析，仿射函数优雅地包含了文献中研究的大多数Petri网扩展。再次，我们研究了仿射WSN自然类关于上述六个计算问题的可判定性。特别地，为了确定非负仿射WSN有界性问题的路径变量，我们开发了一种计算迭代非负仿生函数极限的算法。 引用于17文件 理学硕士： 68问题85 并发和分布式计算的模型和方法（过程代数、互模拟、转换网等） 关键词：过渡系统 PDF格式BibTeX公司 XML格式引用 \textit{A.Finkel}等人，《信息计算》。195，编号1--2，1--29（2004；Zbl 1101.68696） 全文： 内政部 参考文献： [1] P.Abdulla，K.Cerans，B.Jonsson，T.Yih-Kuen，无限状态系统的一般可判定性定理，摘自：第11届IEEE计算机科学逻辑研讨会论文集（LICS 96），1996年，第313-321页；P.Abdulla，K.Cerans，B.Jonsson，T.Yih-Kuen，无限状态系统的一般可判定性定理，摘自：第11届IEEE计算机科学逻辑研讨会论文集（LICS 96），1996年，第313-321页 [2] 荒木，T。；Kasami，T.，与Petri网可达性问题相关的一些决策问题，Theoret。计算。科学。，3, 85-104 (1977) ·Zbl 0352.68083号 [3] （Brauer，W.；Rozenberg，G.，《Petri网：中心模型及其性质》，《Petri网进展》1986，第1部分。Petri网：中心模型及其特性，Petri网进展，1986，第1部分，LNCS，第254卷（1987），Springer-Verlag:Springer-Verlag Berlin）·Zbl 0619.00023号 [4] G.Ciardo，具有标记依赖弧基数的Petri网：性质和分析，Petri网的进展，载于：LNCS，Springer-Verlag，柏林，1994年，第179-198页；G.Ciardo，具有标记相关弧基数的Petri网：性质和分析，Petri网的进展，收录于：LNCS，Springer-Verlag，柏林，1994年，第179-198页 [5] 科尔曼，T。；Leiserson，C。；Rivest，R.，《算法导论》（1990），麻省理工学院出版社：马萨诸塞州剑桥·Zbl 1158.68538号 [6] Dickson，L.，具有不同素因子的奇完全和本原充裕数的有限性，美国数学杂志。，35, 413-422 (1913) [7] C.Dufourd，A.Finkel，P.Schnoebelen，可判定性和不可判定性之间的重置网络，收录于：ICALP’98，LNCS，第1443卷，1998年，第103-115页；C.Dufourd，A.Finkel，P.Schnoebelen，可判定性和不可判定性之间的重置网络，收录于：ICALP’98，LNCS，第1443卷，1998年，第103-115页·兹比尔0909.68124 [8] Finkel，A.，《Karp和Miller对结构良好的过渡系统程序的概括》（ICALP’87，LNCS，第267卷（1987），Springer-Verlag:Springer-Verlag Berlin），499-508·Zbl 0633.68052号 [9] Finkel，A.，无限可达树的约简与覆盖，Inform。计算。，89, 2, 144-179 (1990) ·Zbl 0753.68073号 [10] Finkel，A.，《Petri网的最小覆盖图》（Petri网进展，Petri网发展，LNCS，第674卷（1993），Springer-Verlag:Springer-Verlag Berlin），210-243 [11] A.Finkel，P.Schnoebelen，《结构良好的无限过渡系统的基本结构》，收录于：第三届拉丁美洲理论信息学研讨会论文集（拉丁文'98），LNCS 13801998，pp.102-118[扩展版《无处不在的结构良好的过渡系统》！研究报告LSV-98-41998年4月，也收录于TCS 256（1-2）（2001） 63-92]; A.Finkel，P.Schnoebelen，《结构良好的无限过渡系统的基本结构》，收录于：第三届拉丁美洲理论信息学研讨会论文集（拉丁文'98），LNCS 13801998，pp.102-118[扩展版《无处不在的结构良好的过渡系统》！研究报告LSV-98-41998年4月，也收录于TCS 256（1-2）（2001） 63-92] ·Zbl 0973.68170号 [12] 希格曼，G.，抽象代数中的可除性排序，Proc。伦敦。数学。社会学，2，7，326-336（1952）·Zbl 0047.03402号 [13] Gantmacher，F.R.，《矩阵理论》，J.Gabay（1966）·Zbl 0136.00410号 [14] Ghezzi，C。；Mandrioli，D。；莫拉斯卡，S。；Pezzi，M.，时间关键系统的统一高级petri网形式，IEEE Trans。柔软。工程，17，2，160-172（1991） [15] Greibach，S.，《关于盲和部分盲单向多计数器的评论》，Theoret。计算。科学。，7, 311-324 (1978) ·Zbl 0389.68030号 [16] M.Hack，Petri网和向量加法系统的决策问题，MAC技术杂志。59，麻省理工学院，1975年；M.Hack，Petri网和向量加法系统的决策问题，MAC技术杂志。麻省理工学院，1975年 [17] K.Jensen，in：彩色Petri网基本概念、分析方法和实际应用，第1卷（1992年），第2卷（1995年），Springer-Verlag，柏林；K.Jensen，in：彩色Petri网基本概念、分析方法和实际应用，第1卷（1992年），第2卷（1995年），Springer-Verlag，柏林·兹比尔0762.68004 [18] 卡普·R·M。；Miller，R.E.，《并行程序模式》，J.Compute。系统。科学。，4, 147-195 (1969) ·Zbl 0198.32603号 [19] Knig，D.，Theorye der endlichen und unedlichen graphen（1936），Akademische Verlagsgesellschaft：莱比锡 [20] C.Lakos，S.Christensen，in：有色Petri网弧扩展的一般系统方法，Petri网进展（1994），LNCS，Springer-Verlag，柏林，1994，第338-357页；C.Lakos，S.Christensen，in：有色Petri网弧扩展的一般系统方法，Petri网进展（1994），LNCS，Springer-Verlag，柏林，1994，第338-357页 [21] Minc，H.，《非负矩阵》（1988），威利出版社：威利纽约·兹比尔0192.36802 [22] Papadimitriou，C.H.，《计算复杂性》（1994），艾迪森·韦斯利：艾迪森·韦斯利阅读，马萨诸塞州·Zbl 0557.68033号 [23] Peterson，J.，《Petri网理论和系统建模》（1981年），普伦蒂斯·霍尔：普伦蒂斯霍尔·恩格尔伍德·克利夫斯，新泽西州·Zbl 0461.68059号 [24] C.Picaronny，《关于非负矩阵的幂》，技术代表LSV-95，埃科尔·诺曼·阿塞尔·德卡尚，1995年。可从以下位置获得：<http://www.lsv.ens-cachan.fr>; C.Picaronny，《关于非负矩阵的幂》，技术代表LSV-95，埃科尔·诺曼·阿塞尔·德卡尚，1995年。可从以下位置获得：<http://www.lsv.ens-cachan.fr> [25] Rice，H.G.，递归可枚举集的类及其决策问题，Trans。AMS，89，25-59（1953年）·Zbl 0053.00301号 [26] Seneta，E.，非负矩阵和马尔可夫链（1973），Springer-Verlag:Springer-Verlag Berlin·Zbl 0278.15011号 [27] R.Valk，《自我修改网络》，IFI-HH-B-34/77，汉堡大学，1977年，第1-36页；R.Valk，《自我修改网络》，IFI-HH-B-34/77，汉堡大学，1977年，第1-36页 [28] Valk，R.，自修改网，Petri网的自然扩展，（ICALP’78，LNCS，第62卷（1978），Springer-Verlag:Springer-Verlag Berlin），464-476·Zbl 0415.68025号 [29] Valk，R.，《Petri网的推广》（第七届MFCS’81，LNCS，第118卷（1981），Springer-Verlag:Springer-Verlag Berlin），140-155·Zbl 0477.68056号 [30] 瓦尔克，R。；Jantzen，M.，向量集的剩余及其在Petri网可判定性问题中的应用，信息学报。，21, 643-674 (1985) ·Zbl 0545.68051号 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。