When rule-based models need to count

TL;DR

This paper introduces an extension to the Kappa language that incorporates a notion of level for agents, enabling more concise encodings and improving the efficiency of rule-based models that require counting.

Contribution

The paper presents a novel extension to Kappa with levels attached to agents, offering more concise encodings for counting in rule-based models.

Findings

Two new encodings are more concise than previous methods

The extension improves efficiency in rule-based modeling

The approach reduces the need for direct enumeration of cases

Abstract

Rule-based modelers dislike direct enumeration of cases when more efficient means of enumeration are available. We present an extension of the Kappa language which attaches to agents a notion of level. We detail two encodings that are more concise than the former practice.