Now defined identifiers in terms of lower and upper identifiers. The next step is to generalise the production of the expression grammar such that PEPA models can allow only lower case identifiers in expressions but Bio-PEPA models allow both.
Now defined identifiers in terms of lower and upper identifiers. The next step is to generalise the production of the expression grammar such that PEPA models can allow only lower case identifiers in expressions but Bio-PEPA models allow both.

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