文件大小：0.56 MB 19页
即时观测Petri网的平坦性和复杂性
作者
米哈伊尔·拉斯金 
,
查娜·韦尔·肯尼迪 ,
哈维尔·埃斯帕尔扎
-
部分： 体积： 第31届并发理论国际会议（CONCUR 2020）
系列： 莱布尼茨国际信息学会议录（LIPIcs）
会议： 并行理论国际会议（CONCUR） 许可证： 
Creative Commons Attribution 3.0未出口许可证 出版日期：2020-08-26
文件
文件标识符
作者详细信息
鸣谢
引用为 获取BibTex
摘要
主题分类
ACM科目分类
计算理论 → 分布式计算模型 计算理论 → 并发
关键词
Petri网 可达性分析 参数化验证 平坦性
韵律学
-
访问统计信息 总访问次数（每周更新） 0 PDF下载
工具书类
-
David Angeli、Patrick De Leenher和Eduardo D Sontag。 化学反应网络持久性研究的petri网方法。 数学生物科学，210（2）：598-6182007。 
-
Dana Angluin、James Aspnes、David Eisenstat和Eric Ruppert。 人口协议的计算能力。 分布式计算，20（4）：279-3042007。
-
奥罗尔·安尼奇尼（Aurore Annichini）、艾哈迈德·布阿贾尼（Ahmed Bouajjani）和米哈拉·西希拉努（Mihaela Sighireanu）。 TReX：复杂系统可达性分析工具。 《计算机科学讲义》，第2102卷，第368-372页，2001年。
-
保罗·巴尔丹（Paolo Baldan）、尼科莱塔·科科（Nicoletta Cocco）、安德烈亚·马林（Andrea Marin）和玛塔·西梅尼（Marta Simeoni）。 代谢途径建模的Petri网：一项调查。 自然计算，9（4）：955-9892010。
-
塞巴斯蒂安·巴丁、阿兰·芬克尔、杰罗姆·勒鲁和劳雷·佩特鲁奇。 FAST：符号转换系统的快速加速。 2003年，《计算机科学讲义》第2725卷，第118-121页。
-
伯纳德·博伊格洛特。 LASH工具集主页，2014年。 网址： http://www.montefiore.ulg.ac.be网站/ ~boigelot/research/lash/index.html . -
P.Chelikani、I.Fita和P.C.Loewen。 过氧化氢酶结构和性质的多样性。 细胞。 分子生命科学。， 61, 2004.
-
瑟伦·克里斯滕森（Sören Christensen）、约拉姆·希尔斯菲尔德（Yoram Hirshfeld）和法伦·莫勒（Faron Moller）。 基本并行过程互模拟等价的可分解性、可判定性和公理化性。 在LICS中，第386-3961993页。 网址： https://www.wikidata.org/entity/Q59557027 . -
哈维尔·埃斯帕尔扎。 Petri网、交换上下文无关文法和基本并行过程。 芬丹。 通知。， 31(1):13-25, 1997.
-
哈维尔·埃斯帕尔扎（Javier Esparza）、米哈伊尔·拉斯金（Mikhail Raskin）和查娜·韦尔·肯尼迪（Chana Weil Kennedy）。 即时观察petri网的参数化分析。 《计算机科学讲义》，第11522卷，第365-385页，2019年。
-
劳伦·弗里堡（Laurent Fribourg），Petri网，平面语言和线性算术。 在WFLP中，第344-365页，2000年。
-
约翰·霍普克罗夫特（John E.Hopcroft）和珍妮·雅克·帕尼西奥（Jean-Jacques Pansiot）。 关于五维向量加法系统的可达性问题。 西奥。 计算。 科学。， 8:135-159, 1979.
-
斯拉沃米尔·拉索塔。 EXPSPACE无通信petri网和有限状态系统之间模拟预序的下界。 信息处理。 莱特。， 109(15):850-855, 2009.
-
杰罗姆·勒鲁和格雷戈伊尔·苏特雷。 几乎到处都是平面计数器自动机！ 在ATVA，《计算机科学讲义》第3707卷，第489-503页。 斯普林格，2005年。
-
沃尔夫冈·马尔旺（Wolfgang Marwan）、安妮格丽特·瓦格勒（Annegret Wagler）和罗伯特·魏斯曼特尔（Robert Weismantel）。 Petri网作为重建和分析信号转导通路和调控网络的框架。 自然计算，10（2）：639-6542011年。
-
Ernst W.Mayr和Jeremias Weihmann。 无通信petri网和相关形式主义问题的复杂性结果。 芬丹。 通知。， 137(1):61-86, 2015.
-
徐春燕。 BPP-网的可达性等价。 西奥。 计算。 科学。， 179(1-2):301-317, 1997.