Modelling biological processes using differential predicate transition Petri nets. - Michele Nasu Tomiyama; Stéphane Julia (SMC, 2007)