TY - BOOK AU - Jensen,Kurt AU - Billington,Jonathan AU - Koutny,Maciej ED - SpringerLink (Online service) TI - Transactions on Petri Nets and Other Models of Concurrency III T2 - Lecture Notes in Computer Science, SN - 9783642048562 PY - 2009/// CY - Berlin, Heidelberg PB - Springer Berlin Heidelberg KW - Computer science KW - Software engineering KW - Information theory KW - Computer simulation KW - Computer Science KW - Models and Principles KW - Software Engineering KW - Programming Techniques KW - Mathematical Logic and Formal Languages KW - Theory of Computation KW - Simulation and Modeling UR - http://dx.doi.org/10.1007/978-3-642-04856-2 ER -