TY - BOOK AU - Wil M. P. van der Aalst TI - Transactions on Petri Nets and Other Models of Concurrency II SN - 978-3-642-00899-3 PY - 2009/// KW - Models and Principles KW - Programming Techniques KW - Software Engineering KW - Software Engineering/Programming and Operating Systems KW - Theory of Computation KW - Computer Science UR - http://link.springer.com/openurl?genre=book&isbn=978-3-642-00899-3 ER -