基于区间结构的反应系统统一框架
A Unified Framework for Reaction Systems Based on Interval Structures
浏览论文内容
中文总结 AI 辅助
该研究针对反应系统家族差异，引入基于区间结构的统一框架，分解操作语义，多种反应系统是其实例，定量反应系统经预处理纳入，还能扩展到其他模型，为现有模型提供语义基础，利于新计算形式主义的开发与分析。
中文摘要 AI 辅助
反应系统已发展成为一个丰富的计算模型家族，在多重性处理、资源管理、并发和状态演化方面存在差异。我们引入了一个基于区间结构和基于区间的变换系统的统一语义框架。该框架将操作语义分解为独立的资源、产生、更新和执行策略，为描述、比较和构建反应系统变体提供了共同基础。我们表明经典反应系统、受限反应系统、多重集反应系统、具有浓度的反应系统和资源保留多重集反应系统都是该框架的实例。通过额外的预处理阶段来处理定量反应系统。我们进一步证明该框架自然地扩展到反应系统之外的其他计算模型，包括Petri网。所提出的框架为现有模型提供了共同的语义基础，并为开发和分析新的计算形式主义提供了灵活的基础。
英文摘要
Reaction systems have evolved into a rich family of computational models differing in their treatment of multiplicities, resource management, concurrency, and state evolution. We introduce a unified semantic framework based on interval structures and interval-based transformation systems. The framework decomposes operational semantics into independent resource, production, update, and execution strategies, providing a common basis for describing, comparing, and constructing reaction-system variants. We show that classical reaction systems, restricted reaction systems, multiset reaction systems, reaction systems with concentration, and resource-preserving multiset reaction systems are all recovered as instantiations of the framework. Quantitative reaction systems are accommodated through an additional preprocessing stage. We further demonstrate that the framework naturally extends beyond reaction systems to other computational models, including Petri nets. The proposed framework provides a common semantic foundation for existing models and a flexible basis for developing and analysing new computational formalisms.
