第一届膜计算、并发和基于代理的建模在人口生物学中的应用研讨会
Proceedings First Workshop on Applications of Membrane computing, Concurrency and Agent-based modelling in POPulation biology
摘要：
本卷包含了在第一届国际研讨会上提出的论文在人口生物学的膜计算，并发和基于代理的建模（AMCA-POP 2010）的应用在耶拿举行，德国2010年8月25日作为卫星活动的第11届会议膜计算（CMC 11）。研讨会的目的是调查正式的建模和分析技术是否可以应用于人口生物学和生态学的利益系统。所考虑的建模符号包括膜系统，Petri网，基于代理的符号，过程演算，基于自动机的符号，重写系统和细胞自动机。这些符号使得模拟、模型检验、抽象解释和类型系统等分析技术能够应用于研究诸如人口生物学、生态系统科学、流行病学、遗传学、可持续性科学、进化等学科中感兴趣的系统以及研究人口动态和与环境相互作用的其他学科。论文包含在这些领域的利益系统的建模和分析的结果和经验。
英文摘要：
This volume contains the papers presented at the first International Workshop on Applications of Membrane Computing, Concurrency and Agent-based Modelling in Population Biology (AMCA-POP 2010) held in Jena, Germany on August 25th, 2010 as a satellite event of the 11th Conference on Membrane Computing (CMC11). The aim of the workshop is to investigate whether formal modelling and analysis techniques could be applied with profit to systems of interest for population biology and ecology. The considered modelling notations include membrane systems, Petri nets, agent-based notations, process calculi, automata-based notations, rewriting systems and cellular automata. Such notations enable the application of analysis techniques such as simulation, model checking, abstract interpretation and type systems to study systems of interest in disciplines such as population biology, ecosystem science, epidemiology, genetics, sustainability science, evolution and other disciplines in which population dynamics and interactions with the environment are studied. Papers contain results and experiences in the modelling and analysis of systems of interest in these fields.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
