E.巴杜埃尔。;Darondeau博士。 从路径自动规范合成Petri网。 （英语） Zbl 1101.68691号 Inf.计算。 193，第2期，117-135（2004）. 摘要：路径自动规范是有限或无限图集的合理表示。规范是由该集合上的一组规则路径和有理关系组成的。每个动作都由两个关系指定，这两个关系分别定义了动作可能发生或必须发生的时间。另外两种关系可以判断哪些路径对可能不汇合，或者必须汇合。我们证明了一个路径自动规范的某个模型是否可以由一个有限Petri网实现是可判定的，该Petri网具有以指定动作进行双射的转移。 引用于9文件 MSC公司： 68问题85 并发和分布式计算的模型和方法（进程代数、互模拟、转换网等） 关键词：规格;模态转换;自动图形;Petri网;合成 软件：阿尔戈60 PDF格式BibTeX公司 XML格式引用 \textit{E.Badouel}和\textit{Ph.Darondeau}，Inf.Comput。193，第2号，117--135（2004；Zbl 1101.68691） 全文： 内政部 参考文献： [1] E.Badouel，L.Bernardinello，Ph.Darondeau，《有界网合成的多项式算法》，载于：《CAAP学报》，LNCS，Springer-Verlag，纽约，第915卷，1995年，第647-679页；E.Badouel，L.Bernardinello，Ph.Darondeau，《有界网合成的多项式算法》，载于：《CAAP学报》，LNCS，Springer-Verlag，纽约，第915卷，1995年，第647-679页·Zbl 0831.68067号 [2] 巴杜埃尔，E。；凯劳德，B。；Darondeau，Ph.，通过Petri网合成分配有限自动机，计算的形式方面，13，447-470（2002）·Zbl 1017.68062号 [3] E.Badouel，Ph.Darondeau，区域理论，摘自：Petri网讲座I：基本模型，LNCS，Springer-Verlag，柏林，第1491卷，1998年，第529-586页；E.Badouel，Ph.Darondeau，区域理论，摘自：Petri网讲座I：基本模型，LNCS，Springer-Verlag，柏林，第1491卷，1998年，第529-586页·Zbl 0926.68088号 [4] Berstel，J.，《转喻和无语境语言》（1979），特伯纳·弗拉格·Zbl 0424.68040号 [5] A.Blumensath，E.Grädel，《自动结构》，摘自：《LICS会议录》，IEEE，纽约，2000年，第51-62页；A.Blumentosh，E.Grädel，《自动结构》，载于：美国电气与电子工程师协会，2000年，纽约，第51-62页 [6] Chernikova，N.，寻找线性不等式组非负解的一般公式的算法，苏联计算数学和数学物理，5，2，228-233（1965）·Zbl 0171.35701号 [7] Darondeau博士，《从形式语言导出Petri网》，载于：CONCUR会议录，LNCS，Springer-Verlag，第1466卷，1998年，第533-548页；Darondeau博士，《从形式语言导出Petri网》，载于：CONCUR会议录，LNCS，Springer-Verlag，第1466卷，1998年，第533-548页·Zbl 0940.68097号 [8] Darondeau，P.h.，《关于无上下文图的Petri网实现》，《理论计算机科学》，258573-598（2001）·Zbl 0973.68171号 [9] M.Droste，R.M.Short，《带并发关系的Petri网和自动机——一个附加词》，载于：M.Droste，Y.Gurevich（编辑），《编程语言语义和模型理论》，1993年，第69-87页；M.Droste，R.M.Short，《带并发关系的Petri网和自动机——一种附加功能》，载于：M.Droste，Y.Gurevich（编辑），《编程语言语义和模型理论》，1993年，第69-87页·Zbl 0795.18003号 [10] 埃伦菲赫特，A。；Rozenberg，G.，《部分（集）2-结构》；第一部分：基本概念和表征问题，信息学学报，27315-342（1990）·Zbl 0696.68082号 [11] 埃伦菲赫特，A。；Rozenberg，G.，《部分（集）2-结构》；第二部分：并发系统的状态空间，信息学报，27343-368（1990）·Zbl 0696.68083号 [12] 艾伦伯格，S。；Schützenberger，M.P.，交换幺半群中的有理集，代数杂志，13173-191（1969）·Zbl 0206.02703号 [13] 爱泼斯坦，D。；坎农，J。；霍尔特，D。；利维，S。；帕特森，M。；瑟斯顿，W.，《群组中的文字处理》（1992），琼斯和巴特利特出版社·2017年7月64日 [14] 南卡罗来纳州金斯堡。；Spanier，E.H.，有界类算法语言，美国数学学会学报，333-368（1964）·兹比尔0142.24803 [15] 南卡罗来纳州金斯堡。；Spanier，E.H.，《半群、普雷斯伯格公式和语言》，《太平洋数学杂志》，第16期，第285-296页（1966年）·Zbl 0143.01602号 [16] P.M.Gruber。；Wills，J.M.，《凸几何手册》（1993），北荷兰：北荷兰阿姆斯特丹·Zbl 0777.52001 [17] Huynh，T.D.，《半线性集的复杂性》，Elektronische Informations verarbeitung und Kybernetik，18，6，291-338（1982）·Zbl 0519.68060号 [18] Johnson，J.H.，有理等价关系，理论计算机科学，47，39-60（1986）·Zbl 0619.68051号 [19] B.Khoussainov，A.Nerode，《结构的自动表示》，载于：《LCC论文集》，LNCS，Springer Verlag，纽约，第960卷，1994年，第367-392页；B.Khoussainov，A.Nerode，《结构的自动表示》，摘自：LCC会议录，LNCS，Springer-Verlag，纽约，第960卷，1994年，第367-392页 [20] K.G.Larsen，模态规范，摘自：《有限过渡系统自动验证方法程序集》，LNCS，Springer-Verlag，纽约，第407卷，1989年，第232-246页；K.G.Larsen，模态规范，摘自：《有限过渡系统自动验证方法程序集》，LNCS，Springer-Verlag，纽约，第407卷，1989年，第232-246页 [21] K.G.Larsen，B.Thomsen，《模态过程逻辑》，摘自：《LICS会议录》，IEEE计算机社会出版社，马里兰州银泉出版社，1988年，第203-210页；K.G.Larsen，B.Thomsen，《模态过程逻辑》，摘自：LICS会议录，IEEE计算机社会出版社，马里兰州银泉出版社，1988年，第203-210页 [22] Ch.Morvan，《有理图》，摘自：《软件科学与计算结构基础学报》，LNCS，Springer-Verlag，纽约，第1784卷，2000年，第252-266页；Ch.Morvan，《有理图》，摘自：《软件科学和计算结构基础学报》，LNCS，Springer-Verlag，纽约，第1784卷，2000年，第252-266页·Zbl 0961.68107号 [23] Ch.Morvan，Les grapes rationnels，雷恩一大学博士论文，2002年；Ch.Morvan，Les grapes rationnels，雷恩一大学博士论文，2002年 [24] Mukund，M.，Petri网和阶跃转换系统，国际计算机科学基础杂志，3，4，443-478（1992）·Zbl 0774.68086号 [25] L.Pélecq，无上下文图形的同构和自同构，équationnels et automaticues，博士论文，波尔多第一大学，1997年；L.Pélecq，无上下文图的同构与自同构，方程与自动，波尔多大学博士论文，1997 [26] Schrijver，A.，《线性和整数规划理论》（1986），威利出版社：威利纽约·Zbl 0665.90063号 [27] G.Sénizergues，一些无限图的弱一元二阶逻辑的可定义性，Dagstuhl自动化理论研讨会：无限计算，Wadern，第28卷，1992年，第16页；G.Sénizergues，一些无限图的弱一元二阶逻辑的可定义性，Dagstuhl自动机理论研讨会：无限计算，Wadern，第28卷，1992年，第16页 [28] G.Sénizergues，传达给作者的未出版作品；G.Sénizergues，传达给作者的未出版作品 [29] W.Thomas，《无限自动机简介》，载《2001年语言理论发展国际会议论文集》，LNCS，Springer-Verlag，纽约，第2295卷，2002年，第130-144页；W.Thomas，《无限自动机简介》，载《2001年语言理论发展国际会议论文集》，LNCS，Springer-Verlag，纽约，第2295卷，2002年，第130-144页·Zbl 1073.68671号 此参考列表基于出版商或数字数学图书馆提供的信息。它的项目与zbMATH标识符启发式匹配，并且可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。