Built up the grammar enough to do process definitions (assuming the rate is a simple identifier) and that we only have prefix (of a single action) processes. So no choice operator. This just parses the text, it only builds up a list of tokens so the next step is to build some kind of useful data structure
Built up the grammar enough to do process definitions (assuming the rate is a simple identifier) and that we only have prefix (of a single action) processes. So no choice operator. This just parses the text, it only builds up a list of tokens so the next step is to build some kind of useful data structure

ageorgou/pepapot,allanderek/pepapot,allanderek/pepapot,ageorgou/pepapot