×
萨沃米尔·拉索塔

EXPSPACE无通信Petri网和有限状态系统之间模拟预序的下界。 （英语） Zbl 1205.68246号

信息处理。莱特。 109，第15号，850-855（2009）.
摘要：我们研究了有限状态系统和BPP网（无通信网）的一个简单子类之间的模拟预序。我们给出了两个方向上模拟问题的EXPSPACE下界以及模拟等价性。我们的结果改进了有限状态系统和BPP网络之间模拟的PSPACE和co-NP下界，由A.库奇时代和R.迈尔【Inf.Compute.173，No.2，184-198（2002年；Zbl 1009.68083号)] .

引用于1文件

MSC公司：

68问题85 并发和分布式计算的模型和方法（进程代数、互模拟、转换网等）

关键词：

Petri网;BPP网络;仿真预序与等价性;迹序与等价;并发

引文：

Zbl 1009.68083号
PDF格式BibTeX公司 XML格式引用
\textit{S.Lasota}，Inf.过程。莱特。109，第15号，850--855（2009；Zbl 1205.68246）
全文： DOI程序

参考文献：

[1] Habermehl，P.，关于Petri网线性时间微积分的复杂性，（Proc.ICATPN’97。程序。ICATPN’97，LNCS，第1248卷（1997）），102-116·兹比尔1523.68041
[2] Jančar，P.，Petri网弱双相似性的高不可判定性，（Proc.CAAP’95。程序。CAAP’95，LNCS，第915卷（1995）），349-363·Zbl 1496.68229号
[3] 扬查尔，P。；Moller，F.，《检查Petri网的正则性》（Proc.CONCUR’95）。程序。CONCUR’95，LNCS，第962卷（1995）），348-362
[4] 科特，M。；Sawa，Z.，BPP和有限状态系统的互模拟等价性可以在多项式时间内确定，ENTCS，138，49-60（2005）·Zbl 1272.68309号
[5] 库切拉，A。；Mayr，R.，简单过程代数上的模拟预序，信息与计算，173，2，184-198（2002）·Zbl 1009.68083号
[6] 库切拉，A。；Mayr，R.，为什么模拟比互模拟更难？，（程序CONCUR'02。程序。CONCUR’02，LNCS，第2421卷（2002）），594-609·Zbl 1012.68140号
[7] 拉鲁西尼，F。；Schnoebelen，P.，《从追踪到互模拟等价的状态爆炸问题》（Proc.FoSSaCS’00）。程序。FoSSaCS'00，LNCS，第1784卷（2000年），192-207·Zbl 0961.68090号
[8] R.Lipton，《可达性问题需要指数空间》，耶鲁大学计算机科学系技术代表62号，1976年；R.Lipton，可达性问题需要指数空间，技术代表62，耶鲁大学计算机科学系，1976年
[9] 马斯切尔，A。；Walukiewicz，I.，web服务组合的下限，计算机科学中的逻辑方法，4，2-5，1-14（2008）·Zbl 1147.68372号
[10] Rabinowich，A.，有限代理并发系统等价问题的复杂性，信息与计算，139，2，111-129（1997）·Zbl 0892.68061号
[11] Rackoff，C.，向量加法系统的覆盖和有界问题，理论。计算。科学。，6, 1, 223-231 (1978) ·兹伯利0368.68054
[12] Sawa，Z.，非平面系统的等效性检查是exptime-hard（Proc.CONCUR’03）。程序。CONCUR’03，LNCS，第2761卷（2003）），237-250·Zbl 1274.68134号
[13] Shukla，S.K。；亨特·H·B。；丹尼尔，我。；罗森克兰茨，J。；Stearns，R.E.，《有限状态过程关系问题的复杂性》（Proc.ICALP’96）。程序。ICALP’96，LNCS，第1099卷（1996）），466-477·Zbl 1046.68627号
[14] Srba，J.，简单过程代数的强双相似性：复杂性下限，信息学报，39469-499（2003）·Zbl 1060.68081号
[15] Valmari，A。；Kervinen，A.，基于字母的同步成本以指数级降低，（Proc.CONCUR’02）。程序。CONCUR’02，LNCS，第2421卷（2002）），161-176·Zbl 1012.68123号
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。