Cambridge University Press · Springer
| title | media type | ISBN-13 (ISBN-10)  | year of publication | |
|---|---|---|---|---|
| Applications and Theory of Petri Nets: 29th International Conference, PETRI NETS 2008, Xi'an, China, June 23-27, 2008, Proceedings | Taschenbuch | 978-3-540-68745-0 (3-540-68745-9)  | 2008 | |
| Information Systems Engineering: A Formal Approach | Paperback | 978-0-521-11064-8 (0-521-11064-5)  | 2009 | |
| Information Systems Engineering: A Formal Approach | Hardcover | 978-0-521-45514-5 (0-521-45514-6)  | 1994 | 
K. H. · K&M · Kees Hee · Kees van Hee · M. H.