Text this: Sequential and maximally parallel multiset rewriting