×
谢尔盖·哈达德;丹尼斯·波特雷诺

递归Petri网。 （英语） Zbl 1133.68056号

学报信息。 44，编号7-8，463-508（2007）.
摘要：为了设计和分析复杂系统，建模者需要具有两个矛盾要求的形式化模型：高表达性和行为属性检查的可判定性。在这里，我们提出并发展了这种模型的理论，即递归Petri网。首先，我们证明了递归Petri网支持的机制能够建模与进程动态结构相关的离散事件系统的模式。此外，我们证明了这些模式不能用普通Petri网建模。然后我们研究了一些问题的可判定性：可达性、有限性和互模拟。最后，我们为这类网络发展了线性不变量的概念，并设计了专门针对其结构进行调整的高效计算。

引用于11文件

MSC公司：

68问题85 并发和分布式计算的模型和方法（进程代数、互模拟、转换网等）

关键词：

可判定性;可达性;有限性;互模拟

软件：

SYROCO公司;UMDES公司;续订
PDF格式BibTeX公司 XML格式引用
\textit{S.Haddad}和\textit{D.Poitrenaud}，《学报》第44期，第7--8463--508号（2007年；Zbl 1133.68056）
全文： 内政部

参考文献：

[1] Cassandras C.G.和Lafortune S.（1999年）。离散事件系统简介。多德雷赫特·克鲁沃·兹比尔0934.93001
[2] Colom，J.M.，Silva，M.：P/T网中的凸几何和半流。最小P-半流计算算法的比较研究。摘自：《Petri网进展》，《计算机科学讲义》第483卷，第79-112页。斯普林格，海德堡（1990）
[3] Dufourd，C.，Finkel，A.，Schnoebelen，P.：在可判定性和不可判定性之间重置网络。摘自：《第25届国际自动化、语言和编程学术讨论会论文集》，计算机科学讲稿第1443卷，第103–115页，丹麦奥尔堡，1998年7月。斯普林格，海德堡（1998）·Zbl 0909.68124号
[4] Eilenberg S.和Schütsenberger M.P.（1969年）。交换单元数中的有理集。《代数杂志》13:173–191·Zbl 0206.02703号 ·doi:10.1016/0021-8693（69）90070-2
[5] Esparza J.和Nielsen M.（1994年）。Petri网的可决定性问题——一项调查。牛市。欧洲协会。计算。科学。52: 245–262 ·Zbl 0791.68123号
[6] El Fallah Seghrouchni，A.，Haddad，S.：分布式规划的递归模型。摘自：《第二届多智能体系统国际会议记录》，第307-314页，日本京都，1996年12月
[7] Haddad，S.，Poitrenaud，D.：递归Petri网的可判定性和不可判定性结果。技术报告019，LIP6，巴黎第六大学，法国巴黎（1999）·Zbl 0935.68072号
[8] Haddad，S.，Poitrenaud，D.：递归Petri网的理论方面。摘自：《第20届Petri网应用与理论国际会议论文集》，计算机科学讲义第1639卷，第228–247页，美国弗吉尼亚州威廉斯堡，海德堡，斯普林格（1999）·Zbl 0935.68072号
[9] Haddad，S.，Poitrenaud，D.：用递归Petri网建模和分析系统。摘自：《第五届离散事件系统研讨会论文集——分析与控制》，第449-458页，比利时甘德，2000年8月。多德雷赫特Kluwer（2000年）·Zbl 1009.68090号
[10] Haddad，S.，Poitrenaud，D.：检查顺序递归Petri网上的线性时态公式。摘自：《第八届时间表征与推理国际研讨会论文集》，第198-205页，意大利弗留利市Cividale del Friuli。IEEE计算机学会出版社（2001）
[11] Jantzen M.（1979）。关于Petri网语言的层次结构。降雨13（1）：19–30·Zbl 0404.68076号
[12] 扬恰·P（1995）。Petri网的双相似性的不可判定性及相关问题。西奥。计算。科学。148: 281–301 ·Zbl 0873.68147号 ·doi:10.1016/0304-3975（95）00037-W
[13] Jančar P.、Esparza J.和Moller F.（1999年）。Petri网和常规过程。J.计算。系统。科学。59(3): 476–503 ·Zbl 0958.68121号 ·doi:10.1006/jcss.1999.1643
[14] Jensen，K.：有色Petri网。基本概念、分析方法和实际应用，第1卷。基本概念。理论计算机科学专著。斯普林格，海德堡（1997）·Zbl 0883.68098号
[15] Kiehn，A.：Petri网系统及其闭包性质。摘自：《1989年Petri网进展》，《计算机科学讲义》第424卷，第306-328页。斯普林格，海德堡（1989）
[16] Köler，M.，Rölke，H.：对象Petri网的性质。摘自：《第25届Petri网应用与理论国际会议论文集》，《计算机科学讲稿》第3099卷，第278-297页，意大利博洛尼亚。斯普林格，海德堡（2004）·Zbl 1094.68063号
[17] Kouchnarenko，O.，Schnoebelen，Ph.：递归并行程序的模型。摘自：第一届无限状态系统验证国际研讨会论文集，《Theor电子笔记》第5卷。公司。科学。，意大利比萨。Elsevier，阿姆斯特丹（1997）·Zbl 0912.68131号
[18] Kummer，O.，Wienberg，F.，Duvigneau，M.，Schumacher，J.，Köler，M.，Moldt，D.，Rölke，H.，Valk，R.：Petri网的可扩展编辑器和模拟引擎：更新。2004年6月，意大利博洛尼亚，第25届国际Petri网应用与理论会议记录，计算机科学讲稿第3099卷，第484-493页。斯普林格，海德堡（2004）·Zbl 1094.68589号
[19] Lomazova，I.，Schnoebelen，Ph.：嵌套Petri网的一些可判定性结果。2000年7月，俄罗斯新西伯利亚，第三届安德烈·埃尔肖夫国际系统信息学纪念会议论文集，计算机科学讲稿第1755卷，第208-220页。斯普林格，海德堡（2000）·兹比尔0964.68094
[20] Mayr，E.W.：一般Petri网可达性问题的算法。摘自：第十三届计算机理论年度研讨会论文集，第238–246页（1981年）
[21] Mayr，R.：结合Petri网和PA过程。摘自：第三届计算机软件理论方面国际研讨会论文集，《计算机科学讲稿》第1281卷，第547-561页，日本仙台，1997年。斯普林格，海德堡（1997）·Zbl 0886.68102号
[22] Mayr R.（2000）。过程重写系统。通知。计算。156(1): 264–286 ·Zbl 1046.68566号 ·doi:10.1006/inco.1999.2826
[23] Rackoff C.（1978）。向量加法系统的覆盖和有界问题。西奥。计算。科学。6: 223–231 ·兹伯利0368.68054 ·doi:10.1016/0304-3975（78）90036-1
[24] Reutenauer C.（1990）。Petri网的数学。纽约Prentice-Hall·Zbl 0694.68007号
[25] Sibertin-Blanc，C.：合作对象：原则、使用和实施。收录于：并发面向对象编程和Petri网，Petri网进展，计算机科学讲义2001卷，第216-246页。斯普林格，海德堡（2001）·Zbl 0976.68546号
[26] Valk，R.：关于扩展Petri网的计算能力。摘自：第七届计算机科学数学基础国际研讨会论文集，计算机科学讲稿第64卷，第526-535页，波兰扎科帕内。斯普林格，海德堡（1978）·Zbl 0394.68044号
[27] Valk，R.：自修改网，Petri网的自然扩展。摘自：第五届自动控制、语言和编程国际学术讨论会论文集，计算机科学讲稿第62卷，第464-476页，意大利乌迪内。施普林格，海德堡（1978）·Zbl 0415.68025号
[28] Valk，R.：作为标记对象的Petri网：基本对象网简介。摘自：《第19届Petri网应用与理论国际会议论文集》，计算机科学讲义第1420卷，第1-25页。施普林格，海德堡（1998）
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。