DNA Algorithms for Petri Net Modeling. IJCAI 32 (4).