Pushdown automata, multiset automata, and Petri nets - Faron Moller (Theoretical Computer Science, 2001)