Hector Medina

False error from KaSa: mod, tokens, `<-`

16

``` %agent: timer(s{tik, tok}) %init: 1 timer() %token: io %init: 0 io %obs: 'io_o' |io| %token: oi %init: 0 oi %obs: 'oi_o' |oi| timer(s{tik/tok}) | 1 io @ 10 timer(s{tok/tik})...

Given the model ``` %agent: timer(s{tik,tok}) %init: 1 timer() %token: tiks %init: 0 tiks, toks %token: toks timer(s{tik}) -> timer(s{tok}) | 1 toks @ 1 timer(s{tok}) -> timer(s{tik}) | 1...

Trace steps of type `init` do not contain their time of application; nor does the `model` block in the trace appear to contain the defined `T0`. As such, the trace...

Agent "identifiers" are recycled and so do not identify agents

3

Given the toy model ``` %agent: Jan() %agent: Feb(s{a, b, c}) %agent: Mar() %init: 1 Jan(), Feb(s{a}), Feb(s{b}), Mar() Feb(s{a})- @ inf Feb(s{c})+ @ 0.1 %mod: [E] = 0 do...