Modelling biological processes using differential predicate transition Petri nets | IEEE Conference Publication | IEEE Xplore