Application and Theory of Petri Nets 1992 13th International Conference, Sheffield, UK, June 22-26, 1992. Proceedings Jensen Kurt Heftet / 1992 / Engelsk
Tools and Algorithms for the Construction and Analysis of Systems 10th International Conference, TACAS 2004, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2004, Barcelona, Spain, March 29 - April 2, 2004, Proceedings Jensen Kurt Heftet / 2004 / Engelsk
Coloured Petri Nets Basic Concepts, Analysis Methods and Practical Use. Volume 2 Jensen Kurt Heftet / 2010 / Engelsk
Coloured Petri Nets Basic Concepts, Analysis Methods and Practical Use Jensen Kurt Heftet / 2011 / Engelsk
Coloured Petri Nets Basic Concepts, Analysis Methods and Practical Use. Volume 2 Jensen Kurt Innbundet / 1994 / Engelsk
Coloured Petri Nets Basic Concepts, Analysis Methods and Practical Use. Volume 1 Jensen Kurt Heftet / 2010 / Engelsk
Coloured Petri Nets Basic Concepts, Analysis Methods and Practical Use. Volume 1 Jensen Kurt Innbundet / 1996 / Engelsk
Crusading at the Edges of Europe Denmark and Portugal c.1000 � c.1250 Jensen Kurt Villads Heftet / 2019 / Engelsk
Crusading at the Edges of Europe Denmark and Portugal c.1000 – c.1250 Jensen Kurt Villads Innbundet / 2016 / Engelsk
Coloured Petri Nets Modelling and Validation of Concurrent Systems Jensen Kurt Heftet / 2014 / Engelsk
Coloured Petri Nets Modelling and Validation of Concurrent Systems Jensen Kurt Innbundet / 2009 / Engelsk
Transactions on Petri Nets and Other Models of Concurrency II Special Issue on Concurrency in Process-Aware Information Systems van der Aalst, Wil M. P. Heftet / 2009 / Engelsk
