In the early two-thousands, Recursive Petri nets have been introduced in order to model distributed planning of multi-agent systems for which counters and recursivity were necessary. Although Recursive Petri nets strictly extend Petri nets and context-free grammars, most of the usual problems (reachability, coverability, finiteness, boundedness and termination) were known to be solvable by using non-primitive recursive algorithms. For almost all other extended Petri nets models containing a stack, the complexity of coverability and termination are unknown or strictly larger than EXPSPACE. In contrast, we establish here that for Recursive Petri nets, the coverability, termination, boundedness and finiteness problems are EXPSPACE-complete as for Petri nets. From an expressiveness point of view, we show that coverability languages of Recursive Petri nets strictly include the union of coverability languages of Petri nets and context-free languages. Thus we get a more powerful model than Petri net for free.


翻译:在最初的两千人中,为了模拟需要反转和复现的多试剂系统的分布式规划,引进了Recurive Petri 蚊帐,以模拟对需要反转和复现的多试剂系统的分布式规划;虽然再curvesive Petri 蚊帐严格扩展了Petri 蚊帐和无上下文的语法,但大多数常见问题(可及性、可复现性、有限性、约束性和终止性)已知可以通过使用非被动递转算法来溶解;对于几乎所有其他含有堆叠的扩展的Petri 蚊帐模型来说,可复现性和终止性的复杂性并不为人知,或严格大于EXPSPACE。相比之下,我们在此确定,对于再cursive Petri 蚊帐,可复现性、终止性、约束性和有限性问题是EXPSPACE与Petri 蚊帐一样完整的。我们从明确的角度表明,Recurissive Petri 蚊帐的可隐性语言严格包括可隐性语言和无上下文语言的结合。因此,我们得到了比Petri 网络更强大的免费的模型。

0
下载
关闭预览

相关内容

ACM/IEEE第23届模型驱动工程语言和系统国际会议,是模型驱动软件和系统工程的首要会议系列,由ACM-SIGSOFT和IEEE-TCSE支持组织。自1998年以来,模型涵盖了建模的各个方面,从语言和方法到工具和应用程序。模特的参加者来自不同的背景,包括研究人员、学者、工程师和工业专业人士。MODELS 2019是一个论坛,参与者可以围绕建模和模型驱动的软件和系统交流前沿研究成果和创新实践经验。今年的版本将为建模社区提供进一步推进建模基础的机会,并在网络物理系统、嵌入式系统、社会技术系统、云计算、大数据、机器学习、安全、开源等新兴领域提出建模的创新应用以及可持续性。 官网链接:http://www.modelsconference.org/
专知会员服务
113+阅读 · 2021年8月8日
专知会员服务
76+阅读 · 2021年3月16日
专知会员服务
84+阅读 · 2020年12月5日
【干货书】机器学习速查手册,135页pdf
专知会员服务
125+阅读 · 2020年11月20日
【经典书】Python金融大数据分析,566页pdf
专知会员服务
122+阅读 · 2020年8月1日
Linux导论,Introduction to Linux,96页ppt
专知会员服务
77+阅读 · 2020年7月26日
机器学习入门的经验与建议
专知会员服务
92+阅读 · 2019年10月10日
Transferring Knowledge across Learning Processes
CreateAMind
27+阅读 · 2019年5月18日
强化学习的Unsupervised Meta-Learning
CreateAMind
17+阅读 · 2019年1月7日
A Technical Overview of AI & ML in 2018 & Trends for 2019
待字闺中
16+阅读 · 2018年12月24日
递归神经网络
Datartisan数据工匠
4+阅读 · 2018年8月2日
深度学习线性代数简明教程
论智
11+阅读 · 2018年5月30日
Hierarchical Disentangled Representations
CreateAMind
4+阅读 · 2018年4月15日
carla 学习笔记
CreateAMind
9+阅读 · 2018年2月7日
【学习】Hierarchical Softmax
机器学习研究会
4+阅读 · 2017年8月6日
Arxiv
0+阅读 · 2021年11月4日
Arxiv
9+阅读 · 2021年10月5日
Memory-Gated Recurrent Networks
Arxiv
12+阅读 · 2020年12月24日
Arxiv
4+阅读 · 2019年1月14日
Arxiv
3+阅读 · 2018年10月25日
Arxiv
4+阅读 · 2017年1月2日
Arxiv
3+阅读 · 2015年5月16日
VIP会员
相关VIP内容
专知会员服务
113+阅读 · 2021年8月8日
专知会员服务
76+阅读 · 2021年3月16日
专知会员服务
84+阅读 · 2020年12月5日
【干货书】机器学习速查手册,135页pdf
专知会员服务
125+阅读 · 2020年11月20日
【经典书】Python金融大数据分析,566页pdf
专知会员服务
122+阅读 · 2020年8月1日
Linux导论,Introduction to Linux,96页ppt
专知会员服务
77+阅读 · 2020年7月26日
机器学习入门的经验与建议
专知会员服务
92+阅读 · 2019年10月10日
相关资讯
相关论文
Arxiv
0+阅读 · 2021年11月4日
Arxiv
9+阅读 · 2021年10月5日
Memory-Gated Recurrent Networks
Arxiv
12+阅读 · 2020年12月24日
Arxiv
4+阅读 · 2019年1月14日
Arxiv
3+阅读 · 2018年10月25日
Arxiv
4+阅读 · 2017年1月2日
Arxiv
3+阅读 · 2015年5月16日
Top
微信扫码咨询专知VIP会员