Text this: Closure Properties of Watson-Crick Petri Net