Petrinetze, lineare Algebra und lineare Programmierung Analyse, Verifikation und Korrektheitsbeweise von Systemmodellen Heftet / 1998 / Tysk
Structures in Concurrency Theory Proceedings of the International Workshop on Structures in Concurrency Theory (STRICT), Berlin, 11–13 May 1995 Desel, Jörg Heftet / 1995 / Engelsk
Application and Theory of Petri Nets 1998 19th International Conference, ICATPN’98, Lisbon, Portugal, June 22–26, 1998 Proceedings Desel, Jörg Heftet / 1998 / Engelsk
Application and Theory of Petri Nets and Concurrency 34th International Conference, PETRI NETS 2013, Milan, Italy, June 24-28, 2013, Proceedings Colom Jose-Manuel Heftet / 2013 / Engelsk
Modellierung ’99 Workshop der Gesellschaft für Informatik e.V. (GI), März 1999 in Karlsruhe Desel, Jörg Heftet / 1999 / Tysk
Business Process Management Second International Conference, BPM 2004, Potsdam, Germany, June 17-18, 2004, Proceedings Desel, Jörg Heftet / 2004 / Engelsk
Business Process Management Models, Techniques, and Empirical Studies Aalst, Wil, van der Heftet / 2000 / Engelsk
