Persistence is a strong, global, behavioural property of a Petri net, meaning that no activity can disable a different activity. Persistent permutability is a weaker property, pertaining to individual interleavings of a Petri net and stating that a non-persistent sequence can be permuted into a persistent one. We identify Petri net classes for which persistent permutability already suffices to imply overall persistence. These classes generalise free-choice nets and are related to Petri's concept of ``confusion'', while they are distinguished from each other by diverse restrictions on the choice structure of a net. We prove Ochmanski's conjecture to be correct for these classes.


翻译:持久性是Petri网的一种强全局行为属性,意味着任何活动均无法禁用其他活动。持久可置换性则是一种较弱的性质,它关注Petri网中单个交错序列,指出非持久序列可通过置换转化为持久序列。本文识别了若干Petri网类别,对于这些类别而言,持久可置换性已足以推导出整体持久性。这些类别推广了自由选择网,并与Petri提出的“混淆”概念相关,同时通过各自对网络选择结构的不同限制相互区分。我们证明了Ochmanski猜想在这些类别中成立。

0
下载
关闭预览

相关内容

时间序列复杂网络分析中的可视图方法研究综述
专知会员服务
50+阅读 · 2023年12月2日
专知会员服务
57+阅读 · 2021年8月12日
专知会员服务
26+阅读 · 2021年6月9日
持续学习最新综述论文,29页pdf
专知会员服务
122+阅读 · 2021年4月22日
异质信息网络分析与应用综述,软件学报-北京邮电大学
最新《动态网络嵌入》综述论文,25页pdf
专知
37+阅读 · 2020年6月17日
Seq2seq强化,Pointer Network简介
机器学习算法与Python学习
15+阅读 · 2018年12月8日
网络表示学习介绍
人工智能前沿讲习班
18+阅读 · 2018年11月26日
【AAAI专题】论文分享:以生物可塑性为核心的类脑脉冲神经网络
中国科学院自动化研究所
15+阅读 · 2018年1月23日
国家自然科学基金
5+阅读 · 2015年12月31日
国家自然科学基金
2+阅读 · 2015年12月31日
国家自然科学基金
0+阅读 · 2015年12月31日
国家自然科学基金
0+阅读 · 2015年12月31日
国家自然科学基金
0+阅读 · 2015年12月31日
国家自然科学基金
0+阅读 · 2015年12月31日
国家自然科学基金
0+阅读 · 2015年12月31日
国家自然科学基金
0+阅读 · 2015年12月31日
国家自然科学基金
0+阅读 · 2014年12月31日
VIP会员
相关基金
国家自然科学基金
5+阅读 · 2015年12月31日
国家自然科学基金
2+阅读 · 2015年12月31日
国家自然科学基金
0+阅读 · 2015年12月31日
国家自然科学基金
0+阅读 · 2015年12月31日
国家自然科学基金
0+阅读 · 2015年12月31日
国家自然科学基金
0+阅读 · 2015年12月31日
国家自然科学基金
0+阅读 · 2015年12月31日
国家自然科学基金
0+阅读 · 2015年12月31日
国家自然科学基金
0+阅读 · 2014年12月31日
Top
微信扫码咨询专知VIP会员