Theoretical models implemented in software SIRANERISK