A set of algorithms for the Analysis of Petri nets