When rule-based models need to count

Pierre Boutillier, Ioana Cristescu

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 agen…