×
码头Kleijn;马西耶·库特尼

具有动态结构的膜系统的Petri网模型。 （英语） Zbl 1185.68446号

自然计算。 8，第4期，781-796（2009）.
小结：我们考虑具有溶解和增稠反应规则的膜系统。应用这些规则需要在系统演化过程中动态改变其结构。首先，我们为这些动态膜系统提供了一个精确的操作模型，其中也可能出现启动子和抑制剂规则。接下来，我们描述了一个转换为具有位置和范围弧的行为等效Petri网的过程。

引用于5文件

MSC公司：

68问题85 并发和分布式计算的模型和方法（进程代数、互模拟、转换网等）
第68季度10 计算模式（非确定性、并行、交互式、概率性等）

关键词：

膜系统;P系统;Petri网;动态结构;增稠和溶解膜;促进剂和抑制剂;航程测试;地点;因果关系和并发性;同步与异步
PDF格式BibTeX公司 XML格式引用
\textit{J.Kleijn}和\textit{M.Koutny}，自然计算。8，第4号，781--796（2009；Zbl 1185.68446）
全文： 内政部

参考文献：

[1] Agrigoroaiei O，Ciobanu G（2008）用促进剂和抑制剂重写膜系统的逻辑规范。In:第7届WRLA，第1-16页（将出现在ENTCS中）·Zbl 1347.68125号
[2] Bernardini F，Manca V（2003），P系统的动力学方面。生物系统70:85–93·Zbl 1023.68032号 ·doi:10.1016/S0303-2647（03）00032-7
[3] Bernardini F，Gheorghe M，Margenstern M，Verlan S（2007）膜系统和Petri网中的生产者/消费者。Lect笔记Comput Sci 4497:43–52·Zbl 1151.68505号 ·doi:10.1007/978-3-540-73001-9_5
[4] Best E，Devillers R（1988），Petri网理论中的顺序和并发行为。Theor计算机科学55:87–136·Zbl 0669.68043号
[5] Best E，Fernández C（1988）非序贯过程。Petri网视图。柏林斯普林格-Verlag·Zbl 0656.68005号
[6] Bogdana A，Ciobanu G（2007），将移动环境转换为P系统。计算机科学电子笔记171:11–23·doi:10.1016/j.entcs.2007.05.001
[7] Calude CS，Péun Gh，Rozenberg G，Salomaa A（eds）（2001）多集处理。数学、计算机科学和分子计算的观点。计算机科学课堂讲稿，第2235卷。柏林斯普林格-Verlag·Zbl 0983.00053号
[8] Cardelli L，Gordon A（1998）《移动环境》。Lect Notes计算机科学1378:140–155·Zbl 0954.68108号 ·doi:10.1007/BFb0053547
[9] Cavaliere M，Sburlan D（2005）时间相关P系统。Lect Notes计算机科学3365:239–258·Zbl 1117.68355号 ·doi:10.1007/978-3-540-31837-8_14
[10] Ciardo G（1994）具有标记相关弧基数的Petri网：性质和分析。Lect Notes计算机科学815:179–198
[11] Dal Zilio S，Formenti E（2004）《PB系统动力学：Petri网观点》。Lect Notes计算机科学2933:153–167·Zbl 1202.68204号 ·doi:10.1007/978-3-540-24619-0_11
[12] Desel J、Reisig W、Rozenberg G（eds）（2004）关于并发和Petri网的讲座。计算机科学课堂讲稿，第3098卷。柏林斯普林格-Verlag·Zbl 1052.68003号
[13] Freund R（2001）顺序P系统。Rom J通知科技4:77–88
[14] Freund R（2005）异步P系统和以顺序模式工作的P系统。Lect Notes计算机科学3365:36–62·Zbl 1117.68363号 ·doi:10.1007/978-3-540-31837-83
[15] Goltz U，Reisig W（1983）Petri网的非顺序行为。通知计算57:125–147·Zbl 0551.68050号
[16] Janicki R、Lauer PE、Koutny M、Devillers R（1986）非序列系统的并发和最大并发演化。计算机科学理论43:213-238·兹比尔0604.68006 ·doi:10.1016/0304-3975（86）90177-5
[17] Kleijn J，Koutny M（2006），膜系统中的同步和异步。Lect Notes计算机科学4361:66–85·Zbl 1187.68240号 ·doi:10.1007/11963516_5
[18] Kleijn J，Koutny M（2007）带范围测试的Petri网过程。Fundam通知80:199-219·Zbl 1128.68064号
[19] Kleijn J，Koutny M（2008a）带启动子和抑制剂的膜系统过程。《计算机科学》404:112–126·Zbl 1151.68019号
[20] Kleijn J，Koutny M（2008b）Petri网和膜计算。技术报告CS-TR-1117，也将出现在膜计算手册中·Zbl 1151.68019号
[21] Kleijn J、Koutny M、Rozenberg G（2006年a）《膜系统的Petri网语义研究》。Lect Notes计算机科学3850:292–309·Zbl 1135.68417号 ·doi:10.1007/11603047_20
[22] Kleijn J，Koutny M，Rozenberg G（2006b）膜系统的过程语义。J Autom Lang梳11:321–340·Zbl 1144.68318号
[23] Martín-Vide C，Péun Gh，Pazos J，Rodríguez-Patón A（2003）组织P系统。《计算机科学》296:295–326
[24] Péun Gh（2000）《膜计算》。计算机系统科学杂志61:108–143·Zbl 0956.68055号 ·doi:10.1006/jcss.1999.1693
[25] Péun Gh（2002）膜计算。导言。柏林斯普林格-Verlag
[26] Páun Gh，Rozenberg G（2002）《膜计算指南》。Theor计算机科学287:73–100·Zbl 1061.68054号 ·doi:10.1016/S0304-3975（02）00136-6
[27] Páun Gh，Yu S（1999）关于P系统中的同步。Fundam通知38:397–410·Zbl 1066.68533号
[28] Qi Z，You J，Mao H（2004）P系统和Petri网。Lect Notes计算机科学2933:286–303·Zbl 1202.68199号 ·数字对象标识代码：10.1007/978-3-540-24619-021
[29] Reisig W，Rozenberg G（编辑）（1998）关于Petri网的讲座。计算机科学讲义，第1491卷和第1492卷。施普林格出版社，柏林
[30] Rozenberg G，Engelfriet E（1998）《基本网络系统》。Lect Notes计算机科学1491:12–121·Zbl 0926.68082号
[31] Silva M，Teruel E，Colom JM（1998），用于分析地点/过渡网络系统的线性代数和线性规划技术。Lect Notes计算机科学1491:309–373·Zbl 0926.68086号
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。