Pushdown automata, multiset automata, and Petri nets

Yoram Hirshfeld, Faron Moller. Pushdown automata, multiset automata, and Petri nets. Theoretical Computer Science, 256(1-2):3-21, 2001. [doi]

Abstract

Abstract is missing.