TY - BOOK AU - Kurt Jensen, Wil M. P. Aalst, Jonathan Billington TI - Transactions on Petri Nets and Other Models of Concurrency I SN - 978-3-540-89287-8 PY - 2008/// CY - New York PB - Springer US KW - Computer Science KW - Computer Science, general ER -