TY - BOOK AU - Kees M. Hee, Rüdiger Valk TI - Applications and Theory of Petri Nets SN - 978-3-540-68746-7 PY - 2008/// CY - New York PB - Springer US KW - Computer Science KW - Theory of Computation; Software Engineering; Discrete Mathematics in Computer Science; Computer Communication Networks; Processor Architectures; Operating Systems ER -