罗伯托·巴布蒂;安德烈亚·马吉奥洛·谢蒂尼;保罗·米拉佐;卢卡·特塞 定时P自动机。 （英语） Zbl 1347.68127号 Ciobanu，Gabriel（编辑），《第二届膜计算和生物启发过程计算国际会议论文集》（MeCBIC 2008），2008年9月3日至4日，罗马尼亚伊阿什。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记227，21-36（2009）。 摘要：为了研究动力学随时间变化的系统，引入了一种时间P系统的扩展，其中进化规则可能随时间变化。该模型是一个离散时域的时间自动机，其中每个状态都是一个时间P系统。证明了形式主义的表达能力和特征足以充分表达的一个结果，并作为应用实例，给出了生态系统的模型。关于整个系列，请参见[Zbl 1279.68011号]. 引用于三文件 MSC公司： 2005年第68季度 计算模型（图灵机等）（MSC2010） 2010年第68季度 计算模式（非确定性、并行、交互式、概率性等） 65年第68季度 形式语言和自动机 92D40型 生态学 关键词：时间自动机;P系统;生态模型 PDF格式BibTeX公司 XML格式引用 \textit{R.Barbuti}等人，《电子》。注释Theor。计算。科学。227、21-36（2009年；Zbl 1347.68127） 全文： 内政部 参考文献： [1] 阿鲁尔（Alur，R.）。；Dill，D.L.，《时间自动机理论》，理论计算机科学，126183-235（1994）·Zbl 0803.68071号 [2] 阿姆斯特朗，D。；Davidson，R.，《开发种群模型以指导灭绝鸟类重新引入新西兰大陆》，《新西兰生态学杂志》，30，73-85（2006） [3] 卡多纳，M。；着色剂，M。；佩雷斯·希门尼斯，M。；Sanuy博士。；Margalida，A.，《模拟与胡须秃鹫相关生态系统的P系统》（膜计算头脑风暴周Proc.on Membrane Computing（2008）），51-66 [4] 卡瓦利埃，M。；Sburlan，D.，时间相关P系统，（膜计算研讨会论文集（2004）），239-258·Zbl 1117.68355号 [5] Cavaliere，M.和C.Zandron，P系统中的时间驱动计算程序。第四届薄膜计算集思广益周; Cavaliere，M.和C.Zandron，P系统中的时间驱动计算程序。第四届膜计算头脑风暴周 [6] 亨辛格，T.A。；尼克林，X。；西法基斯，J。；Yovine，S.，实时系统的符号模型检查，信息与计算，111，193-244（1994）·Zbl 0806.68080号 [7] Minsky，M.，《计算：有限和无限机器》（1967），Prentice-Hall·Zbl 0195.02402号 [8] Paun，G.，《膜计算》，《计算机与系统科学杂志》，61，108-143（2000）·Zbl 0956.68055号 [9] Paun，G.，《从细胞到计算机：膜计算》（P Systems），生物系统，59，139-158（2001） [10] Paun，G.，《膜计算》。简介（2002），施普林格·Zbl 1034.68037号 [11] Paun，G。；Yu，S.，《P系统中的同步》，《基础信息学》，38，397-410（1999）·Zbl 1066.68533号 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。