Mathematical Formula Recognition And Automatic Detection And Translation Of Algorithmic Components Into Stochastic Petri Nets In Scientific Documents