DRAM Petri Net