Discrete envent systems specification in systems biology: a discussion of stochastic pi-calculus and DEVS