Regulated Multiset Rewriting Systems
Matej Troj\'ak, Samuel Pastva, David \v{S}afr\'anek, Lubo\v{s} Brim
TL;DR
This paper extends multiset rewriting systems with regulation mechanisms to control non-determinism, enhancing their applicability for modeling biological systems by providing additional system knowledge.
Contribution
It introduces regulation mechanisms into multiset rewriting systems and compares their impact on the systems' generative power.
Findings
Regulation mechanisms reduce non-determinism in multiset rewriting systems.
Extended formalism improves modeling precision for biological systems.
Comparison shows varying generative power among different regulation strategies.
Abstract
Multiset rewriting systems provide a formalism particularly suitable for the description of biological systems. We present an extension of this formalism with additional controls on the derivations as a tool for reducing possible non-deterministic behaviour by providing additional knowledge about the system. We introduce several regulation mechanisms and compare their generative power.
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.
Taxonomy
TopicsDNA and Biological Computing · Logic, programming, and type systems · Semantic Web and Ontologies