PROFET: Construction and Inference of DBNs Based on Mathematical Models