阿曼,博格丹;佩特尔·巴蒂亚尼;加布里埃尔·乔巴努;吉尔吉斯·瓦西尔 局部时间膜系统和时间Petri网。 (英语) Zbl 1436.68110号 西奥。计算。科学。 805175-192(2020). 摘要:我们研究了时间Petri网和各种膜系统变体之间的关系。我们首先表明,在Petri网中添加“时间”特征,可以在不给Petri网语义引入最大并行性的情况下模拟膜系统中规则应用的最大并行模式。然后我们定义了受时间Petri网启发的局部时间膜系统,以及两种类型的语义;这两种局部时间膜系统都可以用语义强的时间Petri网来模拟。最后,我们介绍了催化Petri网和催化膜系统之间的联系。 引用于2文件 MSC公司: 2007年第68季度 受生物启发的计算模型(DNA计算、膜计算等) 68问题85 并发和分布式计算的模型和方法(进程代数、互模拟、转换网等) 关键词:薄膜;Petri网;时间Petri网;时间膜系统 PDF格式BibTeX公司 XML格式引用 \textit{B.Aman}等人,Theor。计算。科学。805175-192(2020年;Zbl 1436.68110) 全文: DOI程序 参考文献: [1] 阿曼,B。;Ciobanu,G.,《为P系统中的对象和膜添加寿命》,国际计算机杂志。Commun公司。控制,5,3,268-279(2010) [2] 阿曼,B。;Ciobanu,G.,通过带延迟的Petri网验证带延迟的膜系统,Theoret。计算。科学。,598, 87-101 (2015) ·Zbl 1329.68104号 [3] 阿曼,B。;乔巴努,G。;Pinna,G.M.,《时间催化Petri网》(《SYNASC学报》(2012),IEEE计算机学会),319-326 [4] 博伊尔,M。;Roux,O.H.,《关于弧、位置和过渡时间Petri网的比较表现力》,基金会。通知。,88, 1-25 (2008) ·Zbl 1154.68085号 [5] 卡瓦利埃,M。;Sburlan,D.,《膜系统中的时间和同步》,基金会。通知。,64, 1, 65-77 (2005) ·Zbl 1102.68027号 [6] 卡瓦利埃,M。;Sburlan,D.,面向膜系统Petri网语义的时间无关P系统,(计算机科学讲义,第3365卷(2005)),239-258·Zbl 1117.68355号 [7] 乔巴努,G。;Pinna,G.M.,催化和通信Petri网是图灵完备的,Inform。和计算。,239,55-70(2014)·Zbl 1309.68137号 [8] R.Freund、O.Ibarra、A.Pun、P.Sosík、H.-C.Yen,《催化P系统》,载于:[18],2010年,第83-117页。 [9] Hack,M.H.T.,《Petri网的可判定性问题》(1976),M.I.T,博士论文 [10] Ionescu,M。;普恩,Gh。;Yokomori,T.,Spiking neural P systems,基金会。通知。,71, 279-308 (2006) ·Zbl 1110.68043号 [11] 卡普·R·M。;Miller,R.E.,《并行程序示意图》,J.Comput。系统科学。,3, 147-195 (1969) ·Zbl 0198.32603号 [12] Kleijn,J.H.C.M。;库特尼,M。;Rozenberg,G.,面向膜系统的Petri网语义,(计算机科学讲义,第3850卷(2005)),292-309·Zbl 1135.68417号 [13] Kosaraju,S.R.,向量加法系统可达性的判定,(第14届ACM计算理论研讨会(1982)),267-281 [14] 马丁·维德,C。;Păun,古。;Pazos,J。;Rodríguez-Patón,A.,《组织P系统》,Theoret。计算。科学。,296, 295-326 (2003) ·Zbl 1045.68063号 [15] Mayr,E.W.,《矢量替换系统的持久性是可判定的》,《信息学报》。,15, 309-318 (1981) ·Zbl 0454.68048号 [16] Merlin,P.M.,《计算系统可恢复性研究》(1974年),加利福尼亚大学:加利福尼亚大学欧文分校,博士论文 [17] 普恩,古.,《膜计算——导论》(2002年),施普林格出版社·Zbl 1034.68037号 [18] 普恩,Gh。;Rozenberg,G。;Salomaa,A.,《牛津膜计算手册》(2010),牛津大学出版社·Zbl 1237.68001号 [19] Petri,C.A.,《自动化通讯》(1962),汉堡大学,论文 [20] Popova,L.,《准时Petri网》,J.Inf.Process。赛博。,27, 4, 227-244 (1991) ·Zbl 0731.68082号 [21] Popova-Zeugmann,L.,《时间与Petri网》(2013),施普林格出版社·Zbl 1305.68003号 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配,可能包含数据转换错误。在某些情况下,zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献,而不要求完整或完全匹配。