会员服务
结构性 · 活性 · 结构 · PAC学习理论 · 子类 ·
2023 年 3 月 28 日
Structural Liveness of Immediate Observation Petri Nets
翻译：结构性活性Petri网的立即观察
Petr Jancar,Jiri Valusek
Petr Jancar,Jiri Valusek
from arxiv, Final version

We look in detail at the structural liveness problem (SLP) for subclasses of Petri nets, namely immediate observation nets (IO nets) and their generalized variant called branching immediate multi-observation nets (BIMO nets), that were recently introduced by Esparza, Raskin, and Weil-Kennedy. We show that SLP is PSPACE-hard for IO nets and in PSPACE for BIMO nets. In particular, we discuss the (small) bounds on the token numbers in net places that are decisive for a marking to be (non)live.


翻译：我们详细研究Petri网的子类的结构性活性问题（SLP），即最近由Esparza、Raskin和Weil-Kennedy引入的立即观察网（IO网）及其称为分支立即多观察网（BIMO网）的广义变体。我们证明SLP对于IO网是PSPACE难的，对于BIMO网是PSPACE。特别是，我们讨论了对于标记是（非）活性的关键性标网站的标记令牌数量（小）边界。
0
下载
关闭预览

相关内容

《深度学习理论经验挑战》，哈佛大学Boaz Barak教授最新报告
《深度学习理论经验挑战》，哈佛大学Boaz Barak教授最新报告
专知会员服务
25+阅读 · 2022年11月24日
不可错过！700+ppt《因果推理》课程！杜克大学Fan Li教程
不可错过！700+ppt《因果推理》课程！杜克大学Fan Li教程
专知会员服务
69+阅读 · 2022年7月11日
神经常微分方程教程，50页ppt，A brief tutorial on Neural ODEs
神经常微分方程教程，50页ppt，A brief tutorial on Neural ODEs
专知会员服务
70+阅读 · 2020年8月2日
零样本文本分类，Zero-Shot Learning for Text Classification
零样本文本分类，Zero-Shot Learning for Text Classification
专知会员服务
95+阅读 · 2020年5月31日
【NeurIPS2019教程】机器学习中的组合性（Compositionality In Machine Learning）
【NeurIPS2019教程】机器学习中的组合性（Compositionality In Machine Learning）
专知会员服务
16+阅读 · 2019年12月16日
Auto-Sizing the Transformer Network: Improving Speed, Efficiency, and Performance for Low-Resource Machine Translation
Auto-Sizing the Transformer Network: Improving Speed, Efficiency, and Performance for Low-Resource Machine Translation
专知会员服务
45+阅读 · 2019年10月17日
Connections between Support Vector Machines, Wasserstein distance and gradient-penalty GANs
Connections between Support Vector Machines, Wasserstein distance and gradient-penalty GANs
专知会员服务
31+阅读 · 2019年10月17日
Deep Learning Based Detection and Correction of Cardiac MR Motion Artefacts During Reconstruction for High-Quality Segmentation
Deep Learning Based Detection and Correction of Cardiac MR Motion Artefacts During Reconstruction for High-Quality Segmentation
专知会员服务
54+阅读 · 2019年10月17日
《DeepGCNs: Making GCNs Go as Deep as CNNs》
《DeepGCNs: Making GCNs Go as Deep as CNNs》
专知会员服务
30+阅读 · 2019年10月17日
[综述]深度学习下的场景文本检测与识别
[综述]深度学习下的场景文本检测与识别
专知会员服务
77+阅读 · 2019年10月10日
直播 | Interpretable and Trustworthy Graph Geometric Deep Learning
直播 | Interpretable and Trustworthy Graph Geometric Deep Learning
图与推荐
1+阅读 · 2022年11月2日
VCIP 2022 Call for Demos
VCIP 2022 Call for Demos
CCF多媒体专委会
1+阅读 · 2022年6月6日
Hierarchically Structured Meta-learning
Hierarchically Structured Meta-learning
CreateAMind
23+阅读 · 2019年5月22日
无监督元学习表示学习
无监督元学习表示学习
CreateAMind
26+阅读 · 2019年1月4日
A Technical Overview of AI & ML in 2018 & Trends for 2019
A Technical Overview of AI & ML in 2018 & Trends for 2019
待字闺中
16+阅读 · 2018年12月24日
vae 相关论文 表示学习 1
vae 相关论文 表示学习 1
CreateAMind
12+阅读 · 2018年9月6日
【论文推荐】最新五篇视频分类相关论文—细粒度行人识别、群组归一化、MLtuner、时序特征
【论文推荐】最新五篇视频分类相关论文—细粒度行人识别、群组归一化、MLtuner、时序特征
专知
22+阅读 · 2018年4月21日
【论文推荐】最新6篇生成式对抗网络（GAN）相关论文—半监督对抗学习、行人再识别、代表性特征、高分辨率深度卷积、自监督、超分辨
【论文推荐】最新6篇生成式对抗网络（GAN）相关论文—半监督对抗学习、行人再识别、代表性特征、高分辨率深度卷积、自监督、超分辨
专知
10+阅读 · 2018年2月1日
【论文】变分推断（Variational inference)的总结
【论文】变分推断（Variational inference)的总结
机器学习研究会
39+阅读 · 2017年11月16日
【推荐】RNN/LSTM时序预测
【推荐】RNN/LSTM时序预测
机器学习研究会
25+阅读 · 2017年9月8日
Anderson型多酸的不对称修饰及可控组装研究
国家自然科学基金
1+阅读 · 2014年12月31日
肿瘤抗原HCA587与STAT3的相互作用及其促进肿瘤转移的分子机制研究
国家自然科学基金
1+阅读 · 2014年12月31日
Par-4在hTERT非端粒酶活性依赖抗凋亡中的作用
国家自然科学基金
0+阅读 · 2012年12月31日
过渡金属催化的含硫基团导向的C-H键活化反应研究
国家自然科学基金
0+阅读 · 2012年12月31日
牛磺酸对PUMA介导缺血再灌注心肌细胞凋亡的抑制作用
国家自然科学基金
0+阅读 · 2012年12月31日
LIMK1：罗格列酮抑制人胃癌细胞增殖、迁移及侵袭的作用靶点
国家自然科学基金
0+阅读 · 2012年12月31日
疏水无机纳米晶的表面功能化修饰及其生物医学检测应用
国家自然科学基金
0+阅读 · 2012年12月31日
多孔介质中的Brinkman-Forchheimer方程解的稳定性研究
国家自然科学基金
0+阅读 · 2011年12月31日
直接甲酸燃料电池用过渡金属-倍半硅氧烷阳极催化剂的制备及活性研究
国家自然科学基金
0+阅读 · 2011年12月31日
脑肠肽ghrelin与帕金森病早期发生发展的关系研究
国家自然科学基金
0+阅读 · 2011年12月31日
An extended version of the Ordered Median Tree Location Problem including appendices and detailed computational results
Arxiv
0+阅读 · 2023年5月17日
Lower bounds on the Approximate Stabilizer Rank: A Probabilistic Approach
Arxiv
0+阅读 · 2023年5月17日
Monitoring and Adapting ML Models on Mobile Devices
Arxiv
0+阅读 · 2023年5月17日
Asynchronous Grant-Free Random Access: Receiver Design with Partially Uni-Directional Message Passing and Interference Suppression Analysis
Arxiv
0+阅读 · 2023年5月17日
Comparison of classifiers in challenge scheme
Arxiv
0+阅读 · 2023年5月16日
Heterogeneous Treatment Effect Bounds under Sample Selection with an Application to the Effects of Social Media on Political Polarization
Arxiv
0+阅读 · 2023年5月16日
Feature Decomposition and Reconstruction Learning for Effective Facial Expression Recognition
Arxiv
15+阅读 · 2021年4月12日
Your "Labrador" is My "Dog": Fine-Grained, or Not
Arxiv
27+阅读 · 2021年2月17日
Adversarial Machine Learning in Image Classification: A Survey Towards the Defender's Perspective
Adversarial Machine Learning in Image Classification: A Survey Towards the Defender's Perspective
Arxiv
17+阅读 · 2020年9月8日
Scene Text Detection and Recognition: The Deep Learning Era
Scene Text Detection and Recognition: The Deep Learning Era
Arxiv
27+阅读 · 2019年9月5日
VIP会员
文章信息
前往arXiv
下载PDF
相关主题
结构性
活性
结构
PAC学习理论
子类
相关VIP内容
《深度学习理论经验挑战》，哈佛大学Boaz Barak教授最新报告
《深度学习理论经验挑战》，哈佛大学Boaz Barak教授最新报告
专知会员服务
25+阅读 · 2022年11月24日
不可错过！700+ppt《因果推理》课程！杜克大学Fan Li教程
不可错过！700+ppt《因果推理》课程！杜克大学Fan Li教程
专知会员服务
69+阅读 · 2022年7月11日
神经常微分方程教程，50页ppt，A brief tutorial on Neural ODEs
神经常微分方程教程，50页ppt，A brief tutorial on Neural ODEs
专知会员服务
70+阅读 · 2020年8月2日
零样本文本分类，Zero-Shot Learning for Text Classification
零样本文本分类，Zero-Shot Learning for Text Classification
专知会员服务
95+阅读 · 2020年5月31日
【NeurIPS2019教程】机器学习中的组合性（Compositionality In Machine Learning）
【NeurIPS2019教程】机器学习中的组合性（Compositionality In Machine Learning）
专知会员服务
16+阅读 · 2019年12月16日
Auto-Sizing the Transformer Network: Improving Speed, Efficiency, and Performance for Low-Resource Machine Translation
Auto-Sizing the Transformer Network: Improving Speed, Efficiency, and Performance for Low-Resource Machine Translation
专知会员服务
45+阅读 · 2019年10月17日
Connections between Support Vector Machines, Wasserstein distance and gradient-penalty GANs
Connections between Support Vector Machines, Wasserstein distance and gradient-penalty GANs
专知会员服务
31+阅读 · 2019年10月17日
Deep Learning Based Detection and Correction of Cardiac MR Motion Artefacts During Reconstruction for High-Quality Segmentation
Deep Learning Based Detection and Correction of Cardiac MR Motion Artefacts During Reconstruction for High-Quality Segmentation
专知会员服务
54+阅读 · 2019年10月17日
《DeepGCNs: Making GCNs Go as Deep as CNNs》
《DeepGCNs: Making GCNs Go as Deep as CNNs》
专知会员服务
30+阅读 · 2019年10月17日
[综述]深度学习下的场景文本检测与识别
[综述]深度学习下的场景文本检测与识别
专知会员服务
77+阅读 · 2019年10月10日
热门VIP内容
相关资讯
直播 | Interpretable and Trustworthy Graph Geometric Deep Learning
直播 | Interpretable and Trustworthy Graph Geometric Deep Learning
图与推荐
1+阅读 · 2022年11月2日
VCIP 2022 Call for Demos
VCIP 2022 Call for Demos
CCF多媒体专委会
1+阅读 · 2022年6月6日
Hierarchically Structured Meta-learning
Hierarchically Structured Meta-learning
CreateAMind
23+阅读 · 2019年5月22日
无监督元学习表示学习
无监督元学习表示学习
CreateAMind
26+阅读 · 2019年1月4日
A Technical Overview of AI & ML in 2018 & Trends for 2019
A Technical Overview of AI & ML in 2018 & Trends for 2019
待字闺中
16+阅读 · 2018年12月24日
vae 相关论文 表示学习 1
vae 相关论文 表示学习 1
CreateAMind
12+阅读 · 2018年9月6日
【论文推荐】最新五篇视频分类相关论文—细粒度行人识别、群组归一化、MLtuner、时序特征
【论文推荐】最新五篇视频分类相关论文—细粒度行人识别、群组归一化、MLtuner、时序特征
专知
22+阅读 · 2018年4月21日
【论文推荐】最新6篇生成式对抗网络（GAN）相关论文—半监督对抗学习、行人再识别、代表性特征、高分辨率深度卷积、自监督、超分辨
【论文推荐】最新6篇生成式对抗网络（GAN）相关论文—半监督对抗学习、行人再识别、代表性特征、高分辨率深度卷积、自监督、超分辨
专知
10+阅读 · 2018年2月1日
【论文】变分推断（Variational inference)的总结
【论文】变分推断（Variational inference)的总结
机器学习研究会
39+阅读 · 2017年11月16日
【推荐】RNN/LSTM时序预测
【推荐】RNN/LSTM时序预测
机器学习研究会
25+阅读 · 2017年9月8日
相关论文
An extended version of the Ordered Median Tree Location Problem including appendices and detailed computational results
Arxiv
0+阅读 · 2023年5月17日
Lower bounds on the Approximate Stabilizer Rank: A Probabilistic Approach
Arxiv
0+阅读 · 2023年5月17日
Monitoring and Adapting ML Models on Mobile Devices
Arxiv
0+阅读 · 2023年5月17日
Asynchronous Grant-Free Random Access: Receiver Design with Partially Uni-Directional Message Passing and Interference Suppression Analysis
Arxiv
0+阅读 · 2023年5月17日
Comparison of classifiers in challenge scheme
Arxiv
0+阅读 · 2023年5月16日
Heterogeneous Treatment Effect Bounds under Sample Selection with an Application to the Effects of Social Media on Political Polarization
Arxiv
0+阅读 · 2023年5月16日
Feature Decomposition and Reconstruction Learning for Effective Facial Expression Recognition
Arxiv
15+阅读 · 2021年4月12日
Your "Labrador" is My "Dog": Fine-Grained, or Not
Arxiv
27+阅读 · 2021年2月17日
Adversarial Machine Learning in Image Classification: A Survey Towards the Defender's Perspective
Adversarial Machine Learning in Image Classification: A Survey Towards the Defender's Perspective
Arxiv
17+阅读 · 2020年9月8日
Scene Text Detection and Recognition: The Deep Learning Era
Scene Text Detection and Recognition: The Deep Learning Era
Arxiv
27+阅读 · 2019年9月5日
相关基金
Anderson型多酸的不对称修饰及可控组装研究
国家自然科学基金
1+阅读 · 2014年12月31日
肿瘤抗原HCA587与STAT3的相互作用及其促进肿瘤转移的分子机制研究
国家自然科学基金
1+阅读 · 2014年12月31日
Par-4在hTERT非端粒酶活性依赖抗凋亡中的作用
国家自然科学基金
0+阅读 · 2012年12月31日
过渡金属催化的含硫基团导向的C-H键活化反应研究
国家自然科学基金
0+阅读 · 2012年12月31日
牛磺酸对PUMA介导缺血再灌注心肌细胞凋亡的抑制作用
国家自然科学基金
0+阅读 · 2012年12月31日
LIMK1：罗格列酮抑制人胃癌细胞增殖、迁移及侵袭的作用靶点
国家自然科学基金
0+阅读 · 2012年12月31日
疏水无机纳米晶的表面功能化修饰及其生物医学检测应用
国家自然科学基金
0+阅读 · 2012年12月31日
多孔介质中的Brinkman-Forchheimer方程解的稳定性研究
国家自然科学基金
0+阅读 · 2011年12月31日
直接甲酸燃料电池用过渡金属-倍半硅氧烷阳极催化剂的制备及活性研究
国家自然科学基金
0+阅读 · 2011年12月31日
脑肠肽ghrelin与帕金森病早期发生发展的关系研究
国家自然科学基金
0+阅读 · 2011年12月31日
Top
微信扫码咨询专知VIP会员
Top