Modelling biological processes using differential predicate transition Petri nets.

Michele Nasu Tomiyama, Stphane Julia

Browse the full SMC paper archive.