Petri Nets and Other Models of Concurrency - ICATPN 2007 28th International Conference on Applications and Theory of Petri Nets and Other Models of Concurrency, ICATPN 2007, Siedlce, Poland, June 25-29, 2007, Proceedings Kleijn Jetty Heftet / 2007 / Engelsk