奥纳·安德烈;玛丽贝尔·费尔南德斯;赫莱内·基什内尔;梅兰松,盖伊;奥利维尔·纳特;布鲁诺·皮诺 PORGY:策略驱动的图形交互转换。 (英语) Zbl 1457.68134号 Echahed,Rachid(编辑),第六届术语和图形计算国际研讨会论文集,TERMGRAPH 2011,德国萨尔布吕肯,2011年4月2日。滑铁卢:开放出版协会(OPA)。电子。程序。西奥。计算。科学。(EPTCS)48,54-68(2011)。 摘要:本文研究了图形重写系统作为建模工具的使用,并提倡在交互式环境中嵌入此类系统。一个重要的应用领域是生化系统建模,其中状态由端口图表示,动力学由规则和策略驱动。图形重写工具能够交互式地探索重写系统的特性,这为模型及其属性的可能行为提供了有用的见解。我们描述了PORGY,这是一个我们开发的可视化交互式工具,用于使用策略指导的端口图和端口图重写规则对复杂系统进行建模,并在派生历史中导航。我们通过示例演示了PORGY提供的一些功能。关于整个系列,请参见[Zbl 1415.68022号]. 引用于11文件 MSC公司: 2012年第68季度 语法和重写系统 92-10 生物相关问题的数学建模或模拟 92C40型 生物化学、分子生物学 软件:PORGY公司 PDF格式BibTeX公司 XML格式引用 \textit{O.Andrei}等人,《电子》。程序。西奥。计算。科学。(EPTCS)48,54--68(2011;Zbl 1457.68134) 全文: arXiv公司 链接