会员服务
泛化理论 ·
2022 年 11 月 19 日
Decidability of Two Truly Concurrent Equivalences for Finite Bounded Petri Nets
翻译：受限制的受限制的Petri 网的两种真正同时同等值的丧失
Arnaldo Cesco,Roberto Gorrieri
Arnaldo Cesco,Roberto Gorrieri

We prove that (strong) fully-concurrent bisimilarity and causal-net bisimilarity are decidable for finite bounded Petri nets. The proofs are based on a generalization of the ordered marking proof technique that Vogler used to demonstrate that (strong) fully-concurrent bisimilarity (or, equivalently, historypreserving bisimilarity) is decidable on finite safe nets.


翻译：我们证明(坚固)完全顺畅的两样和因果网两样对于受限制的Petri 网是可分辨的。 证据基于对Vogler用来证明(坚固)完全顺畅的两样(或类似历史保存两样)在有限安全网上可分辨的定购标记证明技术的概括化。
0
下载
关闭预览

相关内容

【开放书】卡耐基梅隆大学Elaine Shi 教授《Foundations of Distributed Consensus and Blockchains（分布式共识和区块链的基础）》150页pdf
【开放书】卡耐基梅隆大学Elaine Shi 教授《Foundations of Distributed Consensus and Blockchains（分布式共识和区块链的基础）》150页pdf
专知会员服务
29+阅读 · 2022年2月22日
Linux导论，Introduction to Linux，96页ppt
Linux导论，Introduction to Linux，96页ppt
专知会员服务
78+阅读 · 2020年7月26日
100+篇《自监督学习(Self-Supervised Learning)》论文最新合集
100+篇《自监督学习(Self-Supervised Learning)》论文最新合集
专知会员服务
164+阅读 · 2020年3月18日
图像分类技巧集，17页ppt《Bag of Tricks for Image Classification》
图像分类技巧集，17页ppt《Bag of Tricks for Image Classification》
专知会员服务
94+阅读 · 2020年3月12日
Stabilizing Transformers for Reinforcement Learning
Stabilizing Transformers for Reinforcement Learning
专知会员服务
59+阅读 · 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
专知会员服务
56+阅读 · 2019年10月17日
【人工智能在2019：一年回顾】反人工智能，AI in 2019: A Year in Review
【人工智能在2019：一年回顾】反人工智能，AI in 2019: A Year in Review
专知会员服务
79+阅读 · 2019年10月10日
【加州大学伯克利分校博士论文】通过自我监督预测学习泛化
【加州大学伯克利分校博士论文】通过自我监督预测学习泛化
专知会员服务
64+阅读 · 2019年10月9日
【哈佛大学商学院课程Fall 2019】机器学习可解释性
【哈佛大学商学院课程Fall 2019】机器学习可解释性
专知会员服务
103+阅读 · 2019年10月9日
【SIGGRAPH2019】TensorFlow 2.0深度学习计算机图形学应用
【SIGGRAPH2019】TensorFlow 2.0深度学习计算机图形学应用
专知会员服务
39+阅读 · 2019年10月9日
直播 | Interpretable and Trustworthy Graph Geometric Deep Learning
直播 | Interpretable and Trustworthy Graph Geometric Deep Learning
图与推荐
1+阅读 · 2022年11月2日
【ICIG2021】Latest News & Announcements of the Workshop
【ICIG2021】Latest News & Announcements of the Workshop
中国图象图形学学会CSIG
0+阅读 · 2021年12月20日
【ICIG2021】Check out the hot new trailer of ICIG2021 Symposium9
【ICIG2021】Check out the hot new trailer of ICIG2021 Symposium9
中国图象图形学学会CSIG
0+阅读 · 2021年12月17日
【ICIG2021】Check out the hot new trailer of ICIG2021 Symposium8
【ICIG2021】Check out the hot new trailer of ICIG2021 Symposium8
中国图象图形学学会CSIG
0+阅读 · 2021年11月16日
【ICIG2021】Check out the hot new trailer of ICIG2021 Symposium7
【ICIG2021】Check out the hot new trailer of ICIG2021 Symposium7
中国图象图形学学会CSIG
0+阅读 · 2021年11月15日
【ICIG2021】Check out the hot new trailer of ICIG2021 Symposium4
【ICIG2021】Check out the hot new trailer of ICIG2021 Symposium4
中国图象图形学学会CSIG
0+阅读 · 2021年11月10日
【ICIG2021】Check out the hot new trailer of ICIG2021 Symposium3
【ICIG2021】Check out the hot new trailer of ICIG2021 Symposium3
中国图象图形学学会CSIG
0+阅读 · 2021年11月9日
【ICIG2021】Check out the hot new trailer of ICIG2021 Symposium1
【ICIG2021】Check out the hot new trailer of ICIG2021 Symposium1
中国图象图形学学会CSIG
0+阅读 · 2021年11月3日
【ICIG2021】Latest News & Announcements of the Industry Talk1
【ICIG2021】Latest News & Announcements of the Industry Talk1
中国图象图形学学会CSIG
0+阅读 · 2021年7月28日
Hierarchically Structured Meta-learning
Hierarchically Structured Meta-learning
CreateAMind
26+阅读 · 2019年5月22日
IL-24调控维持上皮细胞分化稳态的作用及机制研究
国家自然科学基金
0+阅读 · 2014年12月31日
城市蔓延与乡村景观生态安全互动机制研究：以广州为例
国家自然科学基金
0+阅读 · 2013年12月31日
飞秒激光诱导表面毛化提高太阳能电池陷光效率的研究
国家自然科学基金
0+阅读 · 2013年12月31日
新型Re(I)配合物磷光材料的设计、合成及其光电性能研究
国家自然科学基金
1+阅读 · 2012年12月31日
可压缩Navier-Stokes方程全局光滑解的适定性问题
国家自然科学基金
0+阅读 · 2012年12月31日
多层梯度多场耦合纳米复合材料的性能分析及优化设计
国家自然科学基金
0+阅读 · 2011年12月31日
高功率半导体激光熔覆铁基非晶涂层的机理与性能研究
国家自然科学基金
0+阅读 · 2009年12月31日
FGFR1在NFATc1通路异常致胚胎心内膜细胞凋亡增殖紊乱中的作用及机制
国家自然科学基金
0+阅读 · 2009年12月31日
广义Fermat猜想与相关的丢番图方程
国家自然科学基金
1+阅读 · 2009年12月31日
非线性不连续系统的稳定与镇定
国家自然科学基金
0+阅读 · 2008年12月31日
Analysis of the 24-Hour Activity Cycle: An illustration examining the association with cognitive function in the Adult Changes in Thought (ACT) Study
Arxiv
0+阅读 · 2023年1月19日
A Privacy Glossary for Cloud Computing
Arxiv
0+阅读 · 2023年1月19日
Equivalence relations and $L^p$ distances between time series with application to the Black Summer Australian bushfires
Arxiv
0+阅读 · 2023年1月19日
SAFE: Sensitivity-Aware Features for Out-of-Distribution Object Detection
Arxiv
0+阅读 · 2023年1月19日
Sound Symbolic Execution via Abstract Interpretation and its Application to Security
Arxiv
0+阅读 · 2023年1月18日
An investigation of the reconstruction capacity of stacked convolutional autoencoders for log-mel-spectrograms
Arxiv
0+阅读 · 2023年1月18日
Data thinning for convolution-closed distributions
Arxiv
0+阅读 · 2023年1月18日
Minimizing Age of Incorrect Information in the Presence of Timeout
Arxiv
0+阅读 · 2023年1月18日
MAD-GAN: Multivariate Anomaly Detection for Time Series Data with Generative Adversarial Networks
MAD-GAN: Multivariate Anomaly Detection for Time Series Data with Generative Adversarial Networks
Arxiv
15+阅读 · 2019年1月15日
Deep Anomaly Detection with Outlier Exposure
Deep Anomaly Detection with Outlier Exposure
Arxiv
17+阅读 · 2018年12月21日
VIP会员
文章信息
前往arXiv
下载PDF
相关主题
泛化理论
相关VIP内容
【开放书】卡耐基梅隆大学Elaine Shi 教授《Foundations of Distributed Consensus and Blockchains（分布式共识和区块链的基础）》150页pdf
【开放书】卡耐基梅隆大学Elaine Shi 教授《Foundations of Distributed Consensus and Blockchains（分布式共识和区块链的基础）》150页pdf
专知会员服务
29+阅读 · 2022年2月22日
Linux导论，Introduction to Linux，96页ppt
Linux导论，Introduction to Linux，96页ppt
专知会员服务
78+阅读 · 2020年7月26日
100+篇《自监督学习(Self-Supervised Learning)》论文最新合集
100+篇《自监督学习(Self-Supervised Learning)》论文最新合集
专知会员服务
164+阅读 · 2020年3月18日
图像分类技巧集，17页ppt《Bag of Tricks for Image Classification》
图像分类技巧集，17页ppt《Bag of Tricks for Image Classification》
专知会员服务
94+阅读 · 2020年3月12日
Stabilizing Transformers for Reinforcement Learning
Stabilizing Transformers for Reinforcement Learning
专知会员服务
59+阅读 · 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
专知会员服务
56+阅读 · 2019年10月17日
【人工智能在2019：一年回顾】反人工智能，AI in 2019: A Year in Review
【人工智能在2019：一年回顾】反人工智能，AI in 2019: A Year in Review
专知会员服务
79+阅读 · 2019年10月10日
【加州大学伯克利分校博士论文】通过自我监督预测学习泛化
【加州大学伯克利分校博士论文】通过自我监督预测学习泛化
专知会员服务
64+阅读 · 2019年10月9日
【哈佛大学商学院课程Fall 2019】机器学习可解释性
【哈佛大学商学院课程Fall 2019】机器学习可解释性
专知会员服务
103+阅读 · 2019年10月9日
【SIGGRAPH2019】TensorFlow 2.0深度学习计算机图形学应用
【SIGGRAPH2019】TensorFlow 2.0深度学习计算机图形学应用
专知会员服务
39+阅读 · 2019年10月9日
热门VIP内容
相关资讯
直播 | Interpretable and Trustworthy Graph Geometric Deep Learning
直播 | Interpretable and Trustworthy Graph Geometric Deep Learning
图与推荐
1+阅读 · 2022年11月2日
【ICIG2021】Latest News & Announcements of the Workshop
【ICIG2021】Latest News & Announcements of the Workshop
中国图象图形学学会CSIG
0+阅读 · 2021年12月20日
【ICIG2021】Check out the hot new trailer of ICIG2021 Symposium9
【ICIG2021】Check out the hot new trailer of ICIG2021 Symposium9
中国图象图形学学会CSIG
0+阅读 · 2021年12月17日
【ICIG2021】Check out the hot new trailer of ICIG2021 Symposium8
【ICIG2021】Check out the hot new trailer of ICIG2021 Symposium8
中国图象图形学学会CSIG
0+阅读 · 2021年11月16日
【ICIG2021】Check out the hot new trailer of ICIG2021 Symposium7
【ICIG2021】Check out the hot new trailer of ICIG2021 Symposium7
中国图象图形学学会CSIG
0+阅读 · 2021年11月15日
【ICIG2021】Check out the hot new trailer of ICIG2021 Symposium4
【ICIG2021】Check out the hot new trailer of ICIG2021 Symposium4
中国图象图形学学会CSIG
0+阅读 · 2021年11月10日
【ICIG2021】Check out the hot new trailer of ICIG2021 Symposium3
【ICIG2021】Check out the hot new trailer of ICIG2021 Symposium3
中国图象图形学学会CSIG
0+阅读 · 2021年11月9日
【ICIG2021】Check out the hot new trailer of ICIG2021 Symposium1
【ICIG2021】Check out the hot new trailer of ICIG2021 Symposium1
中国图象图形学学会CSIG
0+阅读 · 2021年11月3日
【ICIG2021】Latest News & Announcements of the Industry Talk1
【ICIG2021】Latest News & Announcements of the Industry Talk1
中国图象图形学学会CSIG
0+阅读 · 2021年7月28日
Hierarchically Structured Meta-learning
Hierarchically Structured Meta-learning
CreateAMind
26+阅读 · 2019年5月22日
相关论文
Analysis of the 24-Hour Activity Cycle: An illustration examining the association with cognitive function in the Adult Changes in Thought (ACT) Study
Arxiv
0+阅读 · 2023年1月19日
A Privacy Glossary for Cloud Computing
Arxiv
0+阅读 · 2023年1月19日
Equivalence relations and $L^p$ distances between time series with application to the Black Summer Australian bushfires
Arxiv
0+阅读 · 2023年1月19日
SAFE: Sensitivity-Aware Features for Out-of-Distribution Object Detection
Arxiv
0+阅读 · 2023年1月19日
Sound Symbolic Execution via Abstract Interpretation and its Application to Security
Arxiv
0+阅读 · 2023年1月18日
An investigation of the reconstruction capacity of stacked convolutional autoencoders for log-mel-spectrograms
Arxiv
0+阅读 · 2023年1月18日
Data thinning for convolution-closed distributions
Arxiv
0+阅读 · 2023年1月18日
Minimizing Age of Incorrect Information in the Presence of Timeout
Arxiv
0+阅读 · 2023年1月18日
MAD-GAN: Multivariate Anomaly Detection for Time Series Data with Generative Adversarial Networks
MAD-GAN: Multivariate Anomaly Detection for Time Series Data with Generative Adversarial Networks
Arxiv
15+阅读 · 2019年1月15日
Deep Anomaly Detection with Outlier Exposure
Deep Anomaly Detection with Outlier Exposure
Arxiv
17+阅读 · 2018年12月21日
相关基金
IL-24调控维持上皮细胞分化稳态的作用及机制研究
国家自然科学基金
0+阅读 · 2014年12月31日
城市蔓延与乡村景观生态安全互动机制研究：以广州为例
国家自然科学基金
0+阅读 · 2013年12月31日
飞秒激光诱导表面毛化提高太阳能电池陷光效率的研究
国家自然科学基金
0+阅读 · 2013年12月31日
新型Re(I)配合物磷光材料的设计、合成及其光电性能研究
国家自然科学基金
1+阅读 · 2012年12月31日
可压缩Navier-Stokes方程全局光滑解的适定性问题
国家自然科学基金
0+阅读 · 2012年12月31日
多层梯度多场耦合纳米复合材料的性能分析及优化设计
国家自然科学基金
0+阅读 · 2011年12月31日
高功率半导体激光熔覆铁基非晶涂层的机理与性能研究
国家自然科学基金
0+阅读 · 2009年12月31日
FGFR1在NFATc1通路异常致胚胎心内膜细胞凋亡增殖紊乱中的作用及机制
国家自然科学基金
0+阅读 · 2009年12月31日
广义Fermat猜想与相关的丢番图方程
国家自然科学基金
1+阅读 · 2009年12月31日
非线性不连续系统的稳定与镇定
国家自然科学基金
0+阅读 · 2008年12月31日
Top
微信扫码咨询专知VIP会员
Top