论文标题
与多层重写系统有关的生化空间语言
Biochemical Space Language in Relation to Multiset Rewriting Systems
论文作者
论文摘要
该技术报告将生化空间语言（BCSL）与多层重写系统（MRS）联系起来。对于BCSL模型，语义是根据过渡系统定义的，而对于MRS，它们是根据一组运行来定义的。在本报告中，我们首先展示了过渡系统与一组运行的关系，并显示如何为每个BCSL模型构造MRS，以使两者都代表相同的运行。此步骤的动机是在更通用的重写系统的背景下建立BCSL，并从为其显示的属性中受益。最后，我们表明，在BCSL模型中可以使用为MRS定义的法规。
This technical report relates Biochemical Space Language (BCSL) to Multiset rewriting systems (MRS). For a BCSL model, the semantics are defined in terms of transition systems, while for an MRS, they are defined in terms of a set of runs. In this report, we relate BCSL to MRS by first showing how the transition system is related to a set of runs and consequently showing how for every BCSL model, an MRS can be constructed such that both represent the same set of runs. The motivation of this step is to establish BCSL in the context of a more general rewriting system and benefit from properties shown for them. Finally, we show that regulations defined for MRS can be consequently used in the BCSL model.
