Place-Boundedness for Vector Addition Systems with one zero-test

R{e}mi Bonnet; Alain Finkel; J{e}r{^o}me Leroux; Marc Zeitoun

首页> 外文期刊>LIPIcs : Leibniz International Proceedings in Informatics >Place-Boundedness for Vector Addition Systems with one zero-test

【24h】

Place-Boundedness for Vector Addition Systems with one zero-test

机译：向量加法系统的位置有界性（一次零检验）

获取原文

获取外文期刊封面目录资料

开具论文收录证明 >>

文献代查 >>

文献数据库（团队版） >>

页面导航

摘要
著录项
引文网络
相似文献
相关主题

摘要

Reachability and boundedness problems have been shown decidable for Vector Addition Systems with one zero-test. Surprisingly, place-boundedness remained open. We provide here a variation of the Karp-Miller algorithm to compute a basis of the downward clos

机译：对于矢量加法系统，通过一次零检验可以确定可到达性和有界性问题。令人惊讶的是，地方界限仍然开放。我们在这里提供Karp-Miller算法的一种变体，以计算向下闭合的基础

著录项

来源
《LIPIcs : Leibniz International Proceedings in Informatics》 |2010年第1期|共12页
作者
R{e}mi Bonnet; Alain Finkel; J{e}r{^o}me Leroux; Marc Zeitoun;
展开▼
作者单位

展开▼
收录信息
原文格式 PDF
正文语种
中图分类计算技术、计算机技术;
关键词

相似文献

外文文献
中文文献
专利

1. Model Checking Vector Addition Systems with one zero-test [J] . RémiBonnet, AlainFInkel, Jér?meLeroux, Logical Methods in Computer Science . 2012,第2期

机译：一次零检验的模型检验矢量加法系统
2. Catalytic P systems, semilinear sets, and vector addition systems [J] . Oscar H. Ibarra, Zhe Dang, Omer Egecioglu Theoretical computer science . 2004,第2a3期

机译：催化P系统，半线性集和向量加法系统
3. Reachability in Two-Dimensional Vector Addition Systems with States: One Test Is for Free [J] . Jér?me Leroux, Grgoire Sutre LIPIcs : Leibniz International Proceedings in Informatics . 2020,第30期

机译：具有状态的二维载体添加系统中的可达性：一个测试是免费的
4. Decidability of LTL for Vector Addition Systems with One Zero-Test [C] . Remi Bonnet Reachability problems . 2011

机译：具有零测试的矢量加法系统的LTL判定性
5. Oncolytic adenovirus vectors and cancer therapy: Evaluating the role of the host immune system in vector anti-tumor efficacy and toxicity in an immunocompetent Syrian hamster model [D] . Dhar, Debanjan. 2009

机译：溶瘤腺病毒载体和癌症治疗：在免疫能力强的叙利亚仓鼠模型中评估宿主免疫系统在载体抗肿瘤功效和毒性中的作用
6. The AvecNet Trial to assess whether addition of pyriproxyfen an insect juvenile hormone mimic to long-lasting insecticidal mosquito nets provides additional protection against clinical malaria over current best practice in an area with pyrethroid-resistant vectors in rural Burkina Faso: study protocol for a randomised controlled trial [O] . Alfred B Tiono, Margaret Pinder, Sagnon N’Fale, 2015

机译：AvecNet试验旨在评估在布基纳法索农村地区对拟除虫菊酯有抗药性的地区中除目前的最佳实践外在持久的杀虫蚊帐中添加吡虫洛芬（一种昆虫幼体激素模拟物）是否可提供针对临床疟疾的额外保护：随机对照试验
7. Place-Boundedness for Vector Addition Systems with one zero-test [O] . Bonnet Rémi, Finkel Alain, Leroux Jérôme, 2010

机译：矢量加法系统的位置有界性，具有一个零测试
8. The Recursive Equivalence of the Reachability Problem and the Liveness Problem for Petri Nets and Vector Addition Systems, [R] . hack,michel 1975

机译：petri网和向量加法系统的可达性问题与活跃度问题的递推等价性，

Place-Boundedness for Vector Addition Systems with one zero-test

摘要

著录项

引文网络

相似文献

相关主题

期刊订阅