Text this: Watson-Crick Petri net languages with finite sets of final markings