DNA algorithms for Petri net modeling